leonardoalt/merkle-tree-powdr leonardoalt/merkle-tree-powdr

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Rust
  • Created about 1 year ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
leonardoalt/merkle-tree-powdr
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

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

swap.socks.sol

Swap socks.sol
Solidity
2
star
23

problem_solving

Programming contests solutions
C++
1
star
24

solgorithms

Solidity
1
star