Collect precompile call data from Ethereum mainnet for gas repricing analysis. Supports Geth and Reth.

Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.

Blazingly fast EVM implementation written in Golang

A benchmark and harness for finding and exploiting smart contract bugs

~vibehouse~ is a community-driven Ethereum consensus client. Same rock-solid Lighthouse core, but we ship faster, break things sometimes, and accept feature requests from literally anyone.

CUDA on non-NVIDIA GPUs

Claude Opus 4.6 wrote a dependency-free C compiler in Rust, with backends targeting x86 (64- and 32-bit), ARM, and RISC-V, capable of compiling a booting Linux kernel.

台灣主權基準測試- 評估 LLM 是否適合部署在台灣市場的第一道篩選器

Rust language proof-carrying data framework

Small Authentication Large Trie: memory-efficient authenticated KV store for blockchain state

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

a zig sdk that allows your code to run in a zkvm

zisk specific implementation of zevm as state transition function

A Cryptography and Zero Knowledge Proof Research Repo Implementing Research papers, Cryptographic primitives, trying out imaginary exploits and so on.

Session persistence for terminal processes

Ethereum ZisK distributed block proving

A universal soundness calculator across hash-based zkEVMs and security regimes

Institutional Privacy Map

Plonky3 native support for p3-uni-stark and p3-batch-stark recursion... and more

Create a Stark prover & verifier from zero

[DEPRECATED] The GPU code of the latest version of SP1 is in the main sp1 repo https://github.com/succinctlabs/sp1

Binary Proofs, Blazing Fast

A dashboard that shows the current status of submarine cables that connected Taiwan to the world