Lists (3)
Stars
A collection of notebooks/recipes showcasing some fun and effective ways of using Claude.
A STARK prover and verifier for arbitrary computations
This repo tracks the opened and merged PRs by the top SWE coding agents by OpenAI, GitHub, and others. Updates every 3 hours.
Magical Rust patterns laid out and simplified
Auditable & minimal JS implementation of public-key post-quantum cryptography
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
node of the decentralized oracle network, bridging on and off-chain computation
CIRCL: Cloudflare Interoperable Reusable Cryptographic Library
Go implementation of the Ethereum protocol
🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4
Big integer arithmetic and secp256k1 ECC operations in circom
keccak256 hash implementation in Circom
MIRACL Cryptographic SDK: Multiprecision Integer and Rational Arithmetic Cryptographic Library is a C software library that is widely regarded by developers as the gold standard open source SDK for…
Applied ZKP Workshop for building zkDApp on Ethereum
A curated list of zero-knowledge folding schemes
Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)
Web3.py plugin for using Flashbots' bundle APIs
Fourth cohort of Ethereum Protocol Fellowship
Solutions to the circom exercises prepped by UC Berkeley RDI for the ZKP MOOC 2023
🍩 Donut is a novel runtime environment for developing and executing fully homomorphic software programs