We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Python 107 9
Coq 7 1
A framework for high-level Analysis of Ethereum Bytecode
Python 11 2
Library of basic circuits for circom
FORVES 2.0: FORmally VErified EVM optimizationS -- leveraging FORVES to inter-block optimizations
Using machine learning in the context of GASOL
zkSnark circuit compiler
Loading…