Resources for learning Noir from ZKCamp's Aztec Course

A repo of example Noir projects.

Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0

Experimental folding schemes library

This is an open source backend for the ACIR standard as implemented in the Noir programming languaje, written in Rust

Noir compiler enhancements developed by the Blocksense team.

A mutation testing CLI tool built in Rust. Currently supports Noir as a target language

Extracting the semantics of Noir to Lean for formal verification

Formal verification tool for Noir programs using the Rocq system

Tooling for creating collaborative SNARKs for Circom and Noir circuits.

Develop Noir with Hardhat without hassle.

Swoir is a Swift package for creating and verifying zero-knowledge Noir proofs.

bignum

A curated list of awesome things related to learning and programming in Noir.

The trust-minimized, zero-knowledge bridging protocol, designed for censorship resistance, extremely high security, and usage in decentralized finance.

Open source code for the paper: HDEE: Heterogeneous Domain Expert Ensemble

Open source code for the paper: SkipPipe: Partial and Reordered Pipelining Framework for Training LLMs in Heterogeneous Networks

Decentralized deep learning in PyTorch. Built to train models on thousands of volunteers across the world.

A fully open source framework for creating RL training swarms over the internet.

Documentation and examples for using Switchboard On-Demand on Ethereum Virtual Machine (EVM) Networks. With Switchboard On-Demand, users can customize and create low-latency data feeds from any sou…

Source code for docs.allora.network

Compute Node of Dria Knowledge Network.