Lists (2)
Stars
A STARK prover and verifier for arbitrary computations
gnark is a fast zk-SNARK library that offers a high-level API to design circuits. The library is open source and developed under the Apache 2.0 license
Writing an OS in 1,000 lines.
Repository to verify contributions to the AZTEC Ignition ceremony
The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.
R1CS constraints for bits, fields, and elliptic curves
Concrete is a simple programming language specifically crafted for creating highly scalable systems that are reliable, efficient, and easy to maintain.
⭐️ A friendly language for building type-safe, scalable systems!
Rust Poseidon implementation (contact: @porcuquine)
Pure Rust implementation of the PLONK ZKProof System done by the Dusk team
Super-fast Merklized Embedded Key-Value Store for blockchain nodes
Command-line sampling profiler for macOS, Linux, and Windows
The Nexus zkVM: The zero-knowledge virtual machine
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Tutorial for STARKs with supporting code in python