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

zkSync era

A modern TLS library in Rust

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

🦄 Gasless ERC20 swap settlement protocol 🦄

🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4

Big integer arithmetic and secp256k1 ECC operations in circom

keccak256 hash implementation in Circom

Main repository of SageMath

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…

Privacy 2.0 for Ethereum

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