Repositories list

• halo2-analyzer

  Public
  SMT 2023 Submission; license pending

  Rust

  •11•53•5•1•Updated Nov 19, 2024Nov 19, 2024

• erc4337-checker

  Public
  Solidity

  •

  MIT License

  •1•4•0•0•Updated Oct 11, 2024Oct 11, 2024

• research-spl-poc

  Public
  Simple Python POC

  Solidity

  •0•1•0•0•Updated Jul 31, 2024Jul 31, 2024

• l2-compression

  Public
  Scripts for evaluating rollup compression.

  Python

  •0•1•0•0•Updated Dec 18, 2023Dec 18, 2023

• l2-compression-data

  Public
  Sample data for the evaluating rollup compression.

  0•0•0•0•Updated Dec 18, 2023Dec 18, 2023

• safe-wallet-web

  Public
  Safe{Wallet} – smart contract wallet for Ethereum (ex-Gnosis Safe multisig)

  TypeScript

  •

  GNU General Public License v3.0

  •471•0•0•0•Updated Dec 7, 2023Dec 7, 2023

• halo2

  Public
  Rust

  •

  Other

  •1•1•0•2•Updated Sep 4, 2023Sep 4, 2023

• l2-security-framework

  Public
  A framework for assessing the security of L2s

  6•44•0•1•Updated Jul 27, 2023Jul 27, 2023

• l2-block-explorer-api

  Public
  The standard for an L2 block explorer API

  2•11•0•0•Updated Jul 19, 2023Jul 19, 2023

• halo2curves

  Public
  For Halo2 Analyzer (SMT 2023)

  Rust

  •

  Other

  •144•2•0•0•Updated Jun 13, 2023Jun 13, 2023

• halo2-archive

  Public archive
  Rust

  •

  Other

  •0•0•0•1•Updated Jun 5, 2023Jun 5, 2023

• lfggta-samples

  Public
  0•0•0•0•Updated Mar 6, 2023Mar 6, 2023