alexhooketh's Stars
renegade-fi/renegade
On-chain dark pool. MPC for anonymous crosses at midpoint prices.
scroll-tech/zktrie
Binary storage trie
kkrt-labs/keth
Integration of the Kakarot Ethereum execution layer in the Reth client.
lambdaclass/evm_mlir
An EVM written with MLIR
lambdaclass/era_vm
EraVM implementation
0xPolygonZero/plonky2
Plonky3/Plonky3
A toolkit for polynomial IOPs (PIOPs)
scroll-tech/stateless-block-verifier
fluentlabs-xyz/fluentbase
A framework to build smart contracts on the Fluent L2 as well as blockchains and verifiable compute environments that compile to rWasm
paradigmxyz/revmc
JIT and AOT compiler for the Ethereum Virtual Machine, built on Revm.
lambdaclass/ethereum_rust
Lambda Ethereum Rust Execution client
zk-passport/openpassport
Generate privacy-preserving ID proofs
jtriley-eth/reverse-subway
lightninglabs/neutrino
Privacy-Preserving Bitcoin Light Client
zkp2p/zk-p2p
A trustless P2P fiat onramp powered by ZK proofs.
succinctlabs/op-stack-remote-static-call
A showcase of how to use Op Stack's remote static call precompile
zkp2p/zkp2p-tlsn-whitepaper
A Decentralized P2P Marketplace for Trading Digital Goods
zksecurity/noname
Noname: a programming language to write zkapps
alloy-rs/alloy
Transports, Middleware, and Networks for the Alloy project
rarimo/FreedomTool
monerobook/monerobook
Mastering Monero Book
ethui/ethui
An Ethereum toolkit
cairoeth/preconfirmations
🔌 Preconfirmations protocol for sub-second transaction confirmations on Ethereum.
a16z/halmos
A symbolic testing tool for EVM smart contracts
Rsync25/awesome-bitvm
A curated list of resources around BitVM
BitVM/BitVM
Smarter Bitcoin Contracts
chainwayxyz/bitvm-zk-verifier
BitVM Groth16 Verifier Toolkit - WIP
koloz193/zksync_pubdata
grandinetech/grandine
High performance Ethereum consensus client
ethereum/hive
Ethereum end-to-end test harness