Streamline your Galxe tasks with the Galxe AutoComplete Tasks script – efficiency at your fingertips!

This repository provides Infrastructure-As-Code (IAC) for installing Gasolina on AWS via CDK.

fhEVM hardhat template

Autonomous agents for everyone

Go port of Coda Hale's Metrics library

$DEGEN v2 Frame

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