Repositories list

• grey

  Public
  Python

  •

  GNU General Public License v3.0

  •0•1•1•0•Updated Mar 3, 2025Mar 3, 2025

• gasol-optimizer

  Public
  Python

  •

  GNU General Public License v3.0

  •9•107•9•0•Updated Mar 3, 2025Mar 3, 2025

• circom_efficient_witness_computation

  Public
  zkSnark circuit compiler

  WebAssembly

  •

  GNU General Public License v3.0

  •301•0•0•0•Updated Mar 2, 2025Mar 2, 2025

• gasol_ml

  Public
  Using machine learning in the context of GASOL

  Python

  •

  GNU General Public License v3.0

  •0•2•0•0•Updated Feb 28, 2025Feb 28, 2025

• equivalence_circom

  Public
  Python

  •0•0•0•0•Updated Feb 24, 2025Feb 24, 2025

• circom_cvm

  Public
  zkSnark circuit compiler

  WebAssembly

  •

  GNU General Public License v3.0

  •301•0•0•0•Updated Feb 17, 2025Feb 17, 2025

• EthIR

  Public
  A framework for high-level Analysis of Ethereum Bytecode

  static-analysisdecompilerethereum+ 2evmsmart-contract

  Python

  •

  GNU General Public License v3.0

  •2•19•0•0•Updated Feb 3, 2025Feb 3, 2025

• forves

  Public
  Coq

  •

  GNU General Public License v3.0

  •1•11•0•0•Updated Nov 19, 2024Nov 19, 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

  •226•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

• circom_civer

  Public
  zkSnark circuit compiler

  Rust

  •

  GNU General Public License v3.0

  •301•8•0•0•Updated Feb 8, 2024Feb 8, 2024

• circomlib

  Public
  Library of basic circuits for circom

  Circom

  •226•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

  •67•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

  •6k•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