Leo (@leonardoalt)
github

leonardoalt

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,086
  • Global Rank 28,263 (Top 1.0 %)
  • Followers 566
  • Registered almost 14 years ago
  • Most used languages
    Solidity
         50.0 %
    Rust
         20.8 %
    TeX
         8.3 %
    SMT     8.3 %
    C++
         4.2 %
    Python
         4.2 %
    Assembly
         4.2 %

Top repositories

1

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.
315
star
2

yools

Tools for Yul.
SMT
138
star
3

r55

Rust
136
star
4

fusion

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

dl_symb_exec_sol

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

tinyzkevm

Python
46
star
7

sol-macros

Solidity
31
star
8

sol_generic_vector

Generic Vector library for Solidity
Solidity
27
star
9

evm

Simple EVM implementation in [no_std] Rust to be used in Powdr.
Rust
17
star
10

SolPrologV2

A Prolog engine written in Solidity.
Solidity
15
star
11

powdr-brainfuck

ZK proofs for Brainfuck execution using powdr
Assembly
15
star
12

soldoku_fuzz

Solidity
13
star
13

pinballctf

Solidity
12
star
14

hevm_paper

TeX
12
star
15

ethcc

Solidity
9
star
16

text

Papers, talks, presentations
TeX
9
star
17

zokrates_nova

Examples of Nova recursive proofs for ZoKrates programs.
Rust
9
star
18

usc2022

My submission to Underhanded Solidity Contest 2022
Solidity
9
star
19

cav_2022_artifact

Solidity
8
star
20

chc_benchmarks_solidity

SMT
6
star
21

baby_its_me

Solidity
6
star
22

merkle-tree-powdr

Rust
3
star
23

swap.socks.sol

Swap socks.sol
Solidity
2
star
24

problem_solving

Programming contests solutions
C++
1
star
25

solgorithms

Solidity
1
star