Skip to content

@costa-group The Costa Group

Change the repository type filter

All

    Repositories list

    24 repositories

    • forves

      Public
      Coq
      •
      GNU General Public License v3.0
      •1•11•0•0•Updated Nov 15, 2024Nov 15, 2024

    • grey

      Public
      Python
      •
      GNU General Public License v3.0
      •0•1•4•0•Updated Nov 15, 2024Nov 15, 2024

    • EthIR

      Public
      A framework for high-level Analysis of Ethereum Bytecode
      static-analysisdecompilerethereumevmsmart-contract
      Python
      •
      GNU General Public License v3.0
      •2•15•0•0•Updated Nov 11, 2024Nov 11, 2024

    • gasol-optimizer

      Public
      Python
      •
      GNU General Public License v3.0
      •9•107•5•0•Updated Oct 29, 2024Oct 29, 2024

    • forves2

      Public
      FORVES 2.0: FORmally VErified EVM optimizationS -- leveraging FORVES to inter-block optimizations
      Coq
      •
      GNU Affero General Public License v3.0
      •0•1•0•0•Updated Oct 15, 2024Oct 15, 2024

    • circomlib_2.1

      Public
      Library of basic circuits for circom
      Circom
      •213•0•0•0•Updated Oct 4, 2024Oct 4, 2024

    • anybody-problem

      Public
      Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.
      Solidity
      •4•0•0•0•Updated Oct 3, 2024Oct 3, 2024

    • green

      Public
      Solidity
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated Jul 26, 2024Jul 26, 2024

    • termination_coq

      Public
      TFG of Pablo about formalising termination proofs in Coq
      Coq
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 20, 2024Jun 20, 2024

    • gasol_ml

      Public
      Using machine learning in the context of GASOL
      Python
      •
      GNU General Public License v3.0
      •0•2•0•0•Updated Apr 15, 2024Apr 15, 2024

    • circom_civer

      Public
      zkSnark circuit compiler
      Rust
      •
      GNU General Public License v3.0
      •263•4•0•0•Updated Feb 8, 2024Feb 8, 2024

    • circomlib

      Public
      Library of basic circuits for circom
      Circom
      •213•1•0•0•Updated Jan 25, 2024Jan 25, 2024

    • ProgCrypto2023

      Public
      Circom
      •0•3•0•0•Updated Nov 17, 2023Nov 17, 2023

    • darkforest-with-tags

      Public
      Dark Forest v0.6
      TypeScript
      •
      GNU General Public License v3.0
      •40•0•0•0•Updated Jul 25, 2023Jul 25, 2023

    • circom-ecdsa

      Public
      Big integer arithmetic and secp256k1 ECC operations in circom
      Circom
      •
      GNU General Public License v3.0
      •65•1•0•0•Updated Jul 19, 2023Jul 19, 2023

    • tagged-darkforest-v0.6

      Public
      Dark Forest v0.6 with tags
      TypeScript
      •
      GNU General Public License v3.0
      •40•0•0•0•Updated Apr 5, 2023Apr 5, 2023

    • ed25519-circom

      Public
      ED25519 implementation in Circom
      JavaScript
      •15•0•0•0•Updated Mar 9, 2023Mar 9, 2023

    • iRankFinder

      Public
      iRankFinder: examples database, website, comparative tables... Source -> http://github.com/jesusjda/pyRankFinder
      HTML
      •1•1•0•0•Updated Feb 21, 2023Feb 21, 2023

    • solidity

      Public
      Solidity, the Contract-Oriented Programming Language
      C++
      •
      GNU General Public License v3.0
      •5.8k•0•0•0•Updated Feb 21, 2023Feb 21, 2023

    • benchmarks

      Public
      Shell
      •1•0•0•0•Updated Feb 21, 2023Feb 21, 2023

    • syrup-python

      Public
      GNU General Public License v3.0
      •1•2•1•0•Updated Feb 20, 2023Feb 20, 2023

    • installation-scripts

      Public
      Shell
      •1•0•0•0•Updated Feb 20, 2023Feb 20, 2023

    • syrup-backend

      Public
      backend of syrup: SYnthesizeR of sUPer-optimized smart contracts
      OCaml
      •
      Apache License 2.0
      •7•0•0•0•Updated May 14, 2020May 14, 2020

    • keras-helloworld

      Public
      Dummy use of the keras lib
      Python
      •0•0•0•0•Updated Mar 29, 2019Mar 29, 2019