Various forms of distribution for the Starkware Stone prover and verifier

Account Abstraction + ZK: Experiment on building 4337 smart contract wallet controlled by Semaphore Group

Benchmark circom and noir on some standard primitives from circomlib/noir stdlib

My notes related to Cryptography & Zero-Knowledge.

Middleware to compile Circom circuits to Nova prover

A zkML & WebAuthn Powered zkApp asserting a user has smiled and awarding test tokens accordingly on Hylé! This is a test project.

Censorship-resistant global proving network, powered by Nostr and Stwo Circle STARK prover.

RISC-V ELF interpreter in cairo 2

The ultimate environment for building with Circom

Interactive formal verification tool for Yul programs

Elliptic Curve Integrated Encryption Scheme for secp256k1 in Rust

Lecture notes & exercises from Sparkling Water Bootcamp in Cryptography 0b10.

Rust SDK for the core C2PA (Coalition for Content Provenance and Authenticity) specification

Cryptography Educational Foundations

Export Circom verifier to Cairo

Space and Time | Proof of SQL

Adapt your STARK stone proofs for verifications on Ethereum

The Nexus zkVM: The zero-knowledge virtual machine

MoonMath Manual notes, exercise solution and extra comments.

Provable play of Nintendo Entertainment System in Noir

Building blocks of a Circle STARK verifier in Bitcoin script

Verifying biometric passports with zero knowledge proofs (SNARKs)

Transports, Middleware, and Networks for the Alloy project