Stars
Ralph is an autonomous AI agent loop that runs repeatedly until all PRD items are complete.
A SNARK using towers of binary fields, implemented in Rust .
A performant and modular zkVM framework built for customization and extensibility.
Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.
Succinct's Production-Grade Proving Engine for the OP Stack.
A testnet open-source Layer 2 from the future, co-designed with the developer tools stack.
Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol
CUDA by Example, written by two senior members of the CUDA software platform team, shows programmers how to employ this new technology. The authors introduce each area of CUDA development through w…
Learn CUDA Programming, published by Packt
Tool to find common vulnerabilities in cryptographic public keys
LLMs as Copilots for Theorem Proving in Lean
Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
Use git-praise to find out who to thank for that magical piece of code.
Frobenius sumcheck for vectorized boolean ops
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
A library to do regex verification in circom, adapted from the original zk-email. It additionally generates lookup tables for halo2-regex and soon Noir.
Verify any text in any sent or received email, cryptographically and via only trusting the sending mailserver.