Crate spectral_vm
Source - alu
- 64-bit Spectral ALU (adders, multipliers, shifters).
- attestor
- Attestation generation and verification (proof system).
- audit
- Security Audit (Soundness Quantification).
- byte
- 1-bit atomic arithmetic primitives (full-adder, full-subtractor).
- circuit_compiler
- High-level Circuit Compiler (Source → S-RISC).
- compiler
- Circuit Compilation & Optimization Pipeline.
- config
- Configuration Management (TOML + Environment Variables).
- constraints
- Spectral constraint verification (AND, XOR, Selection, Booleanity).
- cryptographic_specification
- Formal Cryptographic Specification & Security Audit.
- error
- Comprehensive error types for all operations.
- field
- Goldilocks field arithmetic (2^64 - 2^32 + 1).
- folding
- Spectral folding engine (IOPP-based compaction).
- fri
- Fast Reed-Solomon Interactive Oracle Proofs (FRI).
- fwht
- Fast Walsh-Hadamard Transform (Time ↔ Spectral bridge).
- gatesDeprecated
- memory_pool
- Memory Pool Allocator for Large FRI Operations.
- merkle
- Parallel Merkle tree commitment layer.
- privacy
- Zero-knowledge privacy via FRI-aware entropy shielding.
- reed_solomon
- Reed-Solomon Error-Correcting Codes for FRI.
- signal
- Spectral signals and manifolds (hypercube data structures).
- snarkDeprecated
- spectral_friDeprecated
- tensorDeprecated
- transcript
- Fiat-Shamir transcript (random oracle model).
- vm
- Sovereign Virtual Machine (Wave-Execution Engine).
- internal_error
- Convenience macro for internal errors
- invalid_input
- Convenience macro for invalid input errors