Our great sponsors
-
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
In a nutshell, Noir is a programming language with Rust-like syntax that allows you to compile programs to an intermediate language that may then be further compiled to an arithmetic circuit or rank-1 constraint system, thereby facilitating the construction and verification of zero-knowledge proofs. Its main draws are its ease of use, its familiar syntax and its abstracting away of the underlying arithmetic circuit required to construct a proof. In other words, a background in ZK proofs is not necessary for using Noir. It supports different proving systems as backends, and, by analogy with Rust’s cargo, it comes with the nargo package manager. It also generates smart contracts that verify its proofs.
In a nutshell, Noir is a programming language with Rust-like syntax that allows you to compile programs to an intermediate language that may then be further compiled to an arithmetic circuit or rank-1 constraint system, thereby facilitating the construction and verification of zero-knowledge proofs. Its main draws are its ease of use, its familiar syntax and its abstracting away of the underlying arithmetic circuit required to construct a proof. In other words, a background in ZK proofs is not necessary for using Noir. It supports different proving systems as backends, and, by analogy with Rust’s cargo, it comes with the nargo package manager. It also generates smart contracts that verify its proofs.