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
RUST
CRYPTOGRAPHY
SECURITY AUDIT
C
ELLIPTIC CURVE
SECURE CODING
APPLICATION SECURITY
SECURITY TOOLING
APPLIED CRYPTOGRAPHY
DISCRETE MATHEMATICS
COMPILER DEVELOPMENT
WEB SECURITY
ZKSNARK
NOIR
AUDITING
ECC
ZK CIRCUIT
BARRETENBERG
VULNERABILITY DETECTION
ZERO-KNOWLEDGE
TOOLING
CTF
SECURITY AUDITING
COMPILER
NODE SOFTWARE
VULNERABILITY RESEARCH
PROVING SYSTEM
TYPESCRIPT
DEBUGGING
DOCKER
SOLIDITY
LINUX
OBSERVABILITY
TERRAFORM
BASH
CI
DEVELOPER TOOLING
CONTAINERIZATION
CGROUP
NAMESPACE
VIRTUAL MEMORY
PROC
SYSCALL TRACING
BUILD SYSTEM
SANDBOXING
SIGNALS
IPC
KERNEL NAMESPACE
PROCESS MANAGEMENT
PROC FILESYSTEM
AWS
BUILD SYSTEMS
LEGAL RESEARCH
SECURITIES LAW
COMPANIES HOUSE FILINGS
STATUTORY REGISTERS
KYC
AML
STAKEHOLDER LIAISON
REGULATION
PRIVACY
CONTRACT
CONTRACT DRAFTING
NDA
SECURITIES
INTELLECTUAL PROPERTY
CORPORATE GOVERNANCE
COMPANY SECRETARIAL
REGULATORY MONITORING
FILING
COMPLIANCE
DATA PRIVACY