The proof systems used by Mina

Let's build a HashMap

Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.

Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

ZK proofs for image authenticity

Experimental folding schemes library

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

Continuous Profiling Platform. Debug performance issues down to a single line of code

prism is the first trust-minimized key-transparency solution, allowing for automatic verification of service providers via light clients. Powered by Celestia.

A hardware acceleration library for compute intensive cryptography 🧊

zkSNARK implementation in JavaScript & WASM

🚀 List of distributed system projects for inspiration and learning to build distributed services from real world examples

A monorepo of reusable Circom circuits.

Making client-side proving on mobile simple.

Every time I have an idea, I write it down. These are a collection of my top software ideas -- problems I think enough people have that don't have solutions. I expect you can reach a decent userbas…

Accelerate Early Stage Programmable Cryptography Talents

A curated list of Rust code and resources.

Monorepo of halo2 crates

Monorepo of halo2 crates

some basic utils for halo2

A toolkit for polynomial IOPs (PIOPs)

Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.

🦀 Small exercises to get you used to reading and writing Rust code!

Darwin/macOS emulation layer for Linux

A handpicked collection of inspiring Web3 projects for learning and exploration.

Inference code for Llama models

MULTI·ON API

ISCR Implementations on CNN for Improving Orientation Detection in Models