A performant and modular zkVM framework built for customization and extensibility.

Known attacks on Elliptic Curve Cryptography

A Git-compatible VCS that is both simple and powerful

A SNARK using towers of binary fields, implemented in Rust

verify cairo execution in Halo2

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

Complete Starknet library in Rust™

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 toolkit for polynomial IOPs (PIOPs)

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 cross-platform, safe, pure-Rust graphics API.

Rust bindings to wgpu native library

A library for fast NTTs over the Goldilocks prime field

WebGPU Samples