eth applied cryptography team

zisk-fv Public

Lean 4 formal verification of the ZisK zkVM against the Sail RISC-V specification (ZisK fork baseline + FV work in ai_plans/, docs/fv/, ZiskFv/, tools/zisk-pil-extract/).

Lean 1 0 26 2 Updated Aug 18, 2026

zkevm-benchmark-workload Public

zkVM benchmarking for Ethereum

Rust 43Apache-2.0 25 16 0 Updated Aug 18, 2026

ere Public

Unified zkVM Interface & Toolkit

Rust 85Apache-2.0 25 31 3 Updated Aug 18, 2026

ere-guests Public

Rust 8Apache-2.0 12 2 1 Updated Aug 17, 2026

zkevm-benchmark-runs Public

JavaScript 1 2 1 0 Updated Aug 17, 2026

eip-8025 Public

EIP-8025

Python 0 0 0 0 Updated Aug 14, 2026

zkevm-standards Public

C++ 23 3 10 5 Updated Aug 11, 2026

evmification Public

Solidity 0 1 0 1 Updated Aug 6, 2026

zkevm-test-monitor Public

ISA compliance testing of some RISC-V based ZKVMs

Shell 6Apache-2.0 3 3 2 Updated Aug 5, 2026

eest-execution-witness-dashboard Public

Python 1MIT 2 0 0 Updated Aug 5, 2026

Navigation Menu

Uh oh!

Uh oh!

eth applied cryptography team

Popular repositories Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!