Skip to content
/ noir Public

Noir is a domain specific language for zero knowledge proofs

License

Apache-2.0, MIT licenses found

Licenses found

Apache-2.0
LICENSE-APACHE
MIT
LICENSE-MIT
Notifications You must be signed in to change notification settings

noir-lang/noir

This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Folders and files

NameName
Last commit message
Last commit date

Latest commit

efc61fe · Apr 11, 2024
Apr 10, 2024
Apr 1, 2024
Mar 19, 2024
Apr 11, 2024
Apr 11, 2024
Apr 11, 2024
Apr 10, 2024
Apr 3, 2024
Mar 5, 2024
Apr 11, 2024
Apr 11, 2024
Apr 11, 2024
Dec 7, 2023
Dec 2, 2022
Apr 1, 2024
Dec 7, 2023
Apr 10, 2024
Jun 13, 2022
Mar 19, 2024
Apr 10, 2024
Jan 2, 2024
Apr 11, 2024
Apr 10, 2024
Mar 9, 2021
Mar 13, 2023
Apr 1, 2024
Sep 26, 2023
Mar 29, 2024
Mar 13, 2024
Oct 31, 2023
Apr 11, 2024
Apr 1, 2024
Feb 21, 2024
Apr 11, 2024

Repository files navigation

The Noir Programming Language

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!

Quick Start

Read the installation section here.

Once you have read through the documentation, you can visit Awesome Noir to run some of the examples that others have created.

Current Features

Backends:

  • Barretenberg via FFI
  • Marlin via arkworks (Note -- latest interfaces may not be updated to support Marlin backend. Please open an issue if this is relevant to your project and requires attention.)

Compiler:

  • Module System
  • For expressions
  • Arrays
  • Bit Operations
  • Binary operations (<, <=, >, >=, +, -, *, /, %) [See documentation for an extensive list]
  • Unsigned integers
  • If statements
  • Structures and Tuples
  • Generics

ACIR Supported OPCODES:

  • Sha256
  • Blake2s
  • Schnorr signature verification
  • Pedersen
  • HashToField

Future Work

The current focus is to gather as much feedback as possible while in the alpha phase. The main focuses of Noir are safety and developer experience. If you find a feature that does not seem to be in line with these goals, please open an issue!

Concretely the following items are on the road map:

  • General code sanitization and documentation (ongoing effort)
  • Prover and Verifier Key logic. (Prover and Verifier pre-process per compile)
  • Fallback mechanism for backend unsupported opcodes
  • Visibility modifiers
  • Signed integers
  • Backend integration: (Bulletproofs)
  • Recursion
  • Big integers

Minimum Rust version

This crate's minimum supported rustc version is 1.73.0.

License

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.