Cargo Features
saorsa-logic has no features set by default.
[dependencies]
saorsa-logic = { version = "0.1.1", features = ["std", "alloc", "zkvm", "sp1", "risc0", "test-utils"] }============================================================================
CRITICAL: no_std by default for zkVM compatibility ============================================================================
This crate is designed to run inside zkVMs (SP1, RISC Zero, etc.)
All code must be deterministic and avoid:
- std::io, std::fs, std::net
- System calls, randomness (except from prover input)
- Floating point operations
- Dynamic memory allocation (where possible)
============================================================================
- std test-utils?
-
Enable std for testing and native execution
Enables thiserror
Error handling (std only)
BLAKE3 hashing - no_std compatible
- alloc
-
Enable alloc for heap allocation (required for most operations)
Affects
attestation::AttestationWitness,data::chunk_and_hash,data::StorageWitness,merkle::MerkleProof,merkle::build_tree_root,merkle::generate_proof… - zkvm risc0? sp1?
-
zkVM target support
- sp1 = zkvm
-
SP1 zkVM specific optimizations
- risc0 = zkvm
-
RISC Zero zkVM specific optimizations
- test-utils = std
-
Test utilities