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 regularly.
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