Noir is a Domain Specific Language for SNARK proving systems. It has been designed to use any ACIR compatible proving system.
This implementation is in early development. It has not been reviewed or audited. It is not suitable to be used in production. Expect bugs!
Read the installation section here
Once you have read through the documentation, you can also run the examples located at nargo/examples.
Backends:
- Barretenberg via WASM. (Due to the usage of FFTs in WASM. This backend is slow.)
Compiler:
- Module System
- For expressions
- Arrays
- Bit Operations, except for OR
- Binary operations (<, <=, >, >=, +, -, *, /) [See documentation for an extensive list]
- Unsigned integers
ACIR Supported OPCODES:
- Sha256
- Blake2s
- Schnorr signature verification
- MerkleMembership
- Pedersen
- HashToField
The current focus is to gather as much feedback as possible while in the alpha phase. The main focusses of Noir are safety and developer experience. If you find a feature that does not seem to be inline with these goals, please open an issue!
Concretely the following items are on the road map:
- If statements
- OR operator
- General code sanitisation and documentation
- Prover and Verifier Key logic. (Prover and Verifier preprocess per compile)
- Structures
- Visibility modifiers
- Signed integers
- Backend integration: (Marlin, Bulletproofs)
- Recursion
- Deprecate WASM32 in Barretenberg backend. WASM32 puts an upper bound on the linear memory, which puts an upper bound on the circuit size.
Noir is free and open source. It is distributed under a dual license. (MIT/APACHE)
Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in this crate by you, as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.
Barretenberg is currently the only backend that Noir has integrated. It is licensed under GPL V2.0.