Back to Organizations
Noir
Noir is a Domain Specific Language for private and verifiable computing, enabling the creation of SNARK proofs. It is designed with a simple, Rust-like syntax to be used with any ACIR compatible proving system.
Distributed
Description
Noir is a language for private and verifiable computing. It enables creating succinct proofs of successful program execution. More technically, Noir is a Domain Specific Language for SNARK proving systems. It has been designed to use any ACIR compatible proving system. Its design choices are influenced heavily by Rust and focuses on a simple, familiar syntax.Technology & Skills
CRYPTOGRAPHY
RUST
C
DISCRETE MATHEMATICS
COMPILER DEVELOPMENT
WEB SECURITY
ZKSNARK
NOIR
AUDITING
ECC
BARRETENBERG
DEBUGGING
TYPESCRIPT
AWS
SOLIDITY
LINUX
DOCKER
OBSERVABILITY
TERRAFORM
BASH
CI
CGROUP
NAMESPACE
VIRTUAL MEMORY
PROC
SYSCALL TRACING
BUILD SYSTEM
SANDBOXING
SIGNALS
IPC
KERNEL NAMESPACE
PROCESS MANAGEMENT
BUILD SYSTEMS
EVM
ELLIPTIC CURVE
ZERO-KNOWLEDGE
TOOLING
CTF
SECURITY AUDITING
COMPILER
NODE SOFTWARE
VULNERABILITY RESEARCH
PROVING SYSTEM