leonardoalt/powdr-brainfuck leonardoalt/powdr-brainfuck

  • Stars
    star
    15
  • Rank 1,371,379 (Top 28 %)
  • Language
    Assembly
  • Created 7 months ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
leonardoalt/powdr-brainfuck
github

leonardoalt

Reviews

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

Repository Details

ZK proofs for Brainfuck execution using powdr

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

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