leonardoalt/usc2022 leonardoalt/usc2022

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    Solidity
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
leonardoalt/usc2022
github

leonardoalt

Reviews

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

Repository Details

My submission to Underhanded Solidity Contest 2022

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

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