A layered Rust workspace for lattice-based cryptography.
Warning
This project is a work in progress. The workspace is under active development, and several protocol/profile hardening tracks remain follow-up work.
Gridland is being built as a layered library stack for lattice-native commitments and proof systems. For shipped scope, open work, and subsystem status, see docs/overview.md.
| Crate | Purpose |
|---|---|
grid-std |
no_std compatibility layer, shared re-exports, test helpers |
grid-serialize |
Canonical serialization / deserialization traits |
grid-algebra |
Arithmetic over Z_q, polynomial rings, lattice vectors/matrices, sampling |
grid-commit |
Ajtai, BDLOP, and gadget-based commitment schemes plus shared commitment traits/helpers |
grid-relations |
R1CS/CCS relation containers with norm-tracked witnesses |
grid-transcript |
Shared Fiat-Shamir transcript traits and backends |
grid-labrador |
Generic LaBRADOR prover/verifier core |
Other top-level docs and reports live under docs/ and bench.md.
- Keep the crate layering explicit and easy to extend
- Keep traits and naming consistent across crates so the APIs stay predictable
- Support
no_stdfrom the bottom of the stack upward - Build around lattice assumptions such as SIS, LWE, RLWE, and MLWE
- Expose correctness-first commitment and algebra building blocks before higher-level proof-system crates
- Leave room for future protocol crates without reshaping the foundation
cargo build --workspace
cargo test --workspace
cargo bench --workspace
cargo fmt --all -- --check
cargo clippy --workspace --tests --benches -- -D warnings- Current status and roadmap
- LaBRADOR parameters
- Large modulus support status
- Dynamic RNS context follow-up
- SIMD acceleration plan
- SIMD benchmark report and reproduction commands
- Technical debt
Licensed under the Apache License, Version 2.0.