Skip to content

@eth-act eth applied cryptography team

All

    Repositories list

    40 repositories

    • lighthouse

      Public
      Ethereum consensus client in Rust
      Rust
      •
      Apache License 2.0
      •1.1k•4•1•2•Updated Sep 3, 2026Sep 3, 2026

    • 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-…
      Lean
      •0•1•27•1•Updated Sep 3, 2026Sep 3, 2026

    • ere

      Public
      Unified zkVM Interface & Toolkit
      ethereumzkvm
      ethereumzkvm
      Rust
      •
      Apache License 2.0
      •26•86•30•2•Updated Sep 3, 2026Sep 3, 2026

    • ere-guests

      Public
      Rust
      •
      Apache License 2.0
      •12•8•0•2•Updated Sep 3, 2026Sep 3, 2026

    • zkevm-benchmark-runs

      Public
      JavaScript
      •2•1•1•0•Updated Aug 31, 2026Aug 31, 2026

    • zkevm-benchmark-workload

      Public
      zkVM benchmarking for Ethereum
      benchmarkethereumzkvm
      benchmarkethereumzkvm
      Rust
      •
      Apache License 2.0
      •25•44•16•1•Updated Aug 30, 2026Aug 30, 2026

    • eip-8025

      Public
      EIP-8025
      ethereumzkevm
      ethereumzkevm
      Python
      •0•0•0•0•Updated Aug 14, 2026Aug 14, 2026

    • zkevm-standards

      Public
      C++
      •4•23•12•5•Updated Aug 11, 2026Aug 11, 2026

    • evmification

      Public
      Solidity
      •1•0•0•1•Updated Aug 6, 2026Aug 6, 2026

    • zkevm-test-monitor

      Public
      ISA compliance testing of some RISC-V based ZKVMs
      Shell
      •
      Apache License 2.0
      •3•6•3•2•Updated Aug 5, 2026Aug 5, 2026

    • eest-execution-witness-dashboard

      Public
      Python
      •
      MIT License
      •2•1•0•0•Updated Aug 5, 2026Aug 5, 2026

    • zkboost

      Public
      Rust
      •5•17•1•2•Updated Aug 5, 2026Aug 5, 2026

    • zilkworm-stateless

      Public
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Jul 24, 2026Jul 24, 2026

    • zisk-fv-lean-inputs

      Public
      Immutable Nix-generated Lean inputs for zisk-fv and Aristotle
      Lean
      •0•0•0•0•Updated Jul 13, 2026Jul 13, 2026

    • planning

      Public
      4•14•0•0•Updated Jul 7, 2026Jul 7, 2026

    • zisk

      Public
      Rust
      •
      Apache License 2.0
      •69•0•0•1•Updated Jun 24, 2026Jun 24, 2026

    • zisk-eth-client

      Public
      Rust
      •
      Apache License 2.0
      •5•0•0•0•Updated Jun 4, 2026Jun 4, 2026

    • zisk-patch-stateless

      Public
      Stateless Ethereum block validation
      Rust
      •
      Apache License 2.0
      •15•0•0•0•Updated May 29, 2026May 29, 2026

    • execution-proofs-api

      Public
      0•0•2•0•Updated May 4, 2026May 4, 2026

    • revm

      Public
      Rust implementation of the Ethereum Virtual Machine.
      Rust
      •
      MIT License
      •1k•0•0•0•Updated May 3, 2026May 3, 2026

    • u256-acceleration-benchmarking

      Public
      Python
      •0•0•0•0•Updated Apr 28, 2026Apr 28, 2026

    • wasrisc

      Public
      C
      •1•0•2•0•Updated Apr 27, 2026Apr 27, 2026

    • zisk-patch-reth

      Public
      Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
      Rust
      •
      Apache License 2.0
      •2.5k•0•0•0•Updated Apr 21, 2026Apr 21, 2026

    • zisk-patch-alloy-evm

      Public
      EVM abstraction layer
      Rust
      •
      Apache License 2.0
      •105•0•0•0•Updated Apr 15, 2026Apr 15, 2026

    • evmification-data

      Public
      HTML
      •0•2•0•0•Updated Mar 21, 2026Mar 21, 2026

    • clabot-config

      Public
      CLA configuration repository
      69•0•0•0•Updated Mar 20, 2026Mar 20, 2026

    • zkvm-ethereum-mpt

      Public
      Rust
      •
      MIT License
      •3•9•0•2•Updated Feb 25, 2026Feb 25, 2026

    • blob-encoding-experiments

      Public
      Python
      •0•1•0•0•Updated Feb 6, 2026Feb 6, 2026

    • skunkworks-dotnet

      Public
      C
      •1•0•0•0•Updated Jan 22, 2026Jan 22, 2026

    • zkvm-verifier-specs

      Public
      0•0•1•0•Updated Jan 14, 2026Jan 14, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.