Skip to content
@costa-group

The Costa Group

Pinned Loading

  1. gasol-optimizer gasol-optimizer Public

    Python 107 9

  2. forves forves Public

    Coq 11 1

  3. EthIR EthIR Public

    A framework for high-level Analysis of Ethereum Bytecode

    Python 19 2

Repositories

Showing 10 of 27 repositories
  • grey Public
    costa-group/grey’s past year of commit activity
    Python 1 GPL-3.0 0 1 0 Updated Mar 3, 2025
  • gasol-optimizer Public
    costa-group/gasol-optimizer’s past year of commit activity
    Python 107 GPL-3.0 9 9 0 Updated Mar 3, 2025
  • circom_efficient_witness_computation Public Forked from iden3/circom

    zkSnark circuit compiler

    costa-group/circom_efficient_witness_computation’s past year of commit activity
    WebAssembly 0 GPL-3.0 305 0 0 Updated Mar 2, 2025
  • gasol_ml Public

    Using machine learning in the context of GASOL

    costa-group/gasol_ml’s past year of commit activity
    Python 2 GPL-3.0 0 0 0 Updated Feb 28, 2025
  • equivalence_circom Public
    costa-group/equivalence_circom’s past year of commit activity
    Python 0 0 0 0 Updated Feb 24, 2025
  • circom_cvm Public Forked from costa-group/circom_efficient_witness_computation

    zkSnark circuit compiler

    costa-group/circom_cvm’s past year of commit activity
    WebAssembly 0 GPL-3.0 305 0 0 Updated Feb 17, 2025
  • EthIR Public

    A framework for high-level Analysis of Ethereum Bytecode

    costa-group/EthIR’s past year of commit activity
    Python 19 GPL-3.0 2 0 0 Updated Feb 3, 2025
  • forves Public
    costa-group/forves’s past year of commit activity
    Coq 11 GPL-3.0 1 0 0 Updated Nov 19, 2024
  • forves2 Public

    FORVES 2.0: FORmally VErified EVM optimizationS -- leveraging FORVES to inter-block optimizations

    costa-group/forves2’s past year of commit activity
    Coq 1 AGPL-3.0 0 0 0 Updated Oct 15, 2024
  • circomlib_2.1 Public Forked from iden3/circomlib

    Library of basic circuits for circom

    costa-group/circomlib_2.1’s past year of commit activity
    Circom 0 231 0 0 Updated Oct 4, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…