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 16 2

Repositories

Showing 10 of 25 repositories
  • grey Public
    costa-group/grey’s past year of commit activity
    Python 1 GPL-3.0 0 1 0 Updated Jan 5, 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 285 0 0 Updated Dec 22, 2024
  • EthIR Public

    A framework for high-level Analysis of Ethereum Bytecode

    costa-group/EthIR’s past year of commit activity
    Python 16 GPL-3.0 2 0 0 Updated Dec 18, 2024
  • gasol-optimizer Public
    costa-group/gasol-optimizer’s past year of commit activity
    Python 107 GPL-3.0 9 9 0 Updated Dec 3, 2024
  • 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 219 0 0 Updated Oct 4, 2024
  • anybody-problem Public Forked from trifle-labs/anybody-problem

    Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.

    costa-group/anybody-problem’s past year of commit activity
    Solidity 0 4 0 0 Updated Oct 3, 2024
  • green Public
    costa-group/green’s past year of commit activity
    Solidity 2 GPL-3.0 0 0 0 Updated Jul 26, 2024
  • termination_coq Public

    TFG of Pablo about formalising termination proofs in Coq

    costa-group/termination_coq’s past year of commit activity
    Coq 0 GPL-3.0 0 0 0 Updated Jun 20, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…