Stars
A universal soundness calculator across hash-based zkEVMs and security regimes
Stock options, RSUs, taxes — read the latest edition: www.holloway.com/ec
A performant and modular zkVM framework built for customization and extensibility.
A Git-compatible VCS that is both simple and powerful
A SNARK using towers of binary fields, implemented in Rust .
State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.
The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡
Dojo is a toolchain for building provable games and applications
Benchmarks for Pedersen hash implementations
Blazing fast toolkit for developing Starknet contracts.
A fully compliant RISC-V computer made inside the game Terraria
Elliptic Curve Fast Fourier Transform built on @arkworks-rs
ONNX Runtime in Cairo 1.0 for verifiable ML inference using STARK
Experimental implementation of the SuperNova protocol. https://eprint.iacr.org/2022/1758
Relaxed Go Apps - shutdown gracefully despite concurrent panics
A STARK-based VM focused on code reuse, performance, and modularity
Append-only collections for Rust where borrows to entries can outlive insertions
This library is archived; see crypto-primities for the latest version of this code
Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.
A FRI verifier circuit for the Halo2 proof system
A library for fast NTTs over the Goldilocks prime field