leonardoalt/r55 leonardoalt/r55

  • Stars
    star
    136
  • Rank 267,670 (Top 6 %)
  • Language
    Rust
  • License
    Apache License 2.0
  • Created 6 months ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
leonardoalt/r55
github

leonardoalt

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More 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

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
4

dl_symb_exec_sol

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

tinyzkevm

Python
46
star
6

sol-macros

Solidity
31
star
7

sol_generic_vector

Generic Vector library for Solidity
Solidity
27
star
8

evm

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

SolPrologV2

A Prolog engine written in Solidity.
Solidity
15
star
10

powdr-brainfuck

ZK proofs for Brainfuck execution using powdr
Assembly
15
star
11

soldoku_fuzz

Solidity
13
star
12

pinballctf

Solidity
12
star
13

hevm_paper

TeX
12
star
14

ethcc

Solidity
9
star
15

text

Papers, talks, presentations
TeX
9
star
16

zokrates_nova

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

usc2022

My submission to Underhanded Solidity Contest 2022
Solidity
9
star
18

cav_2022_artifact

Solidity
8
star
19

chc_benchmarks_solidity

SMT
6
star
20

baby_its_me

Solidity
6
star
21

merkle-tree-powdr

Rust
3
star
22

swap.socks.sol

Swap socks.sol
Solidity
2
star
23

problem_solving

Programming contests solutions
C++
1
star
24

solgorithms

Solidity
1
star