Leo

icon company @powdr-labs

Results 8 repositories owned by Leo

ethereum_formal_verification_overview

204
Stars
25
Forks
Watchers

Overview of the formal verification projects in the Ethereum ecosystem.

verified publisher icon leonardoalt

dl_symb_exec_sol

90
Stars
4
Forks
Watchers

Symbolic execution engine written in Solidity, based on Difference Logic.

verified publisher icon leonardoalt

sol-macros

28
Stars
1
Forks
Watchers

verified publisher icon leonardoalt

SolPrologV2

15
Stars
4
Forks
Watchers

A Prolog engine written in Solidity.

verified publisher icon leonardoalt

sol_generic_vector

27
Stars
0
Forks
Watchers

Generic Vector library for Solidity

verified publisher icon leonardoalt

tinyzkevm

35
Stars
1
Forks
Watchers

verified publisher icon leonardoalt

yools

137
Stars
5
Forks
Watchers

Tools for Yul.

verified publisher icon leonardoalt

fusion

116
Stars
4
Forks
Watchers

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems.

verified publisher icon leonardoalt