search

cartesi / dave

Cartesi fraud-proof system
Apache License 2.0
13 stars 11 forks source link

Computation pruning during bisection #10

Open GCdePaula opened 6 months ago