Building blocks of a Circle STARK verifier in Bitcoin script

Zcash ZK client written in Cairo.

Privacy-first tooling for the Ethereum ecosystem

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

Tutorial: deploy privacy preserving application on Ztarknet

Make your zero-knowledge circuits safe with formal verification! 🍀

Spartan: High-speed zkSNARKs without trusted setup

Solidity implementation of Nova proving system verifier

Nova: High-speed recursive zero-knowledge arguments from folding schemes

Offline/local search for Docusaurus v2/v3

An open source, volunteer-maintained reference for the Bitcoin Cash virtual machine (CashVM).

The simplest and most extensible zkVM. Fast and fully open source from a16z crypto and friends. ⚡

Pure JavaScript QUIC/HTTP3 implementation for Node.js

A gui interface for bch pilots.

Create a Stark prover & verifier from zero

A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.

A collection of functions written in Triton VM assembly (tasm)

Command Line Interface to run, prove, and verify programs written for Triton VM.

Terminal User Interface to help debugging programs written for Triton VM.

Writing tasm with Rust syntax

Intuitive Zero-Knowledge Primer.

STARK-based virtual machine

Collection of mathematics routines and cryptography for the twenty-first century

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.

anonymous peer-to-peer cash