Quantstamp

Popular repositories Loading

1. halo2-analyzer halo2-analyzerPublic

   SMT 2023 Submission; license pending

   Rust 59 14

2. l2-security-framework l2-security-frameworkPublic

   A framework for assessing the security of L2s

   49 10

3. l2-block-explorer-api l2-block-explorer-apiPublic

   The standard for an L2 block explorer API

   11 3

4. erc4337-checker erc4337-checkerPublic

   Solidity 8 3

5. halo2curves halo2curvesPublic

   Forked from privacy-ethereum/halo2curves

   For Halo2 Analyzer (SMT 2023)

   Rust 2

6. halo2 halo2Public

   Rust 1 1