Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by leonardoalt
A curated list of projects in awesome lists by leonardoalt .
https://github.com/leonardoalt/ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
Last synced: 03 Oct 2024
https://github.com/leonardoalt/yools
Tools for Yul.
ethereum evm formal-verification hacktoberfest solidity yul
Last synced: 03 Oct 2024
https://github.com/leonardoalt/fusion
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.
ethereum l2 smart-contracts zkrollup zksnarks
Last synced: 03 Oct 2024
https://github.com/leonardoalt/dl_symb_exec_sol
Symbolic execution engine written in Solidity, based on Difference Logic.
Last synced: 03 Oct 2024
https://github.com/leonardoalt/sol_generic_vector
Generic Vector library for Solidity
Last synced: 03 Oct 2024