cartesi / dave

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

Compute Metastep #13

Closed GCdePaula closed 2 months ago

GCdePaula commented 6 months ago

We need the ureset implemented and integrated on the machine-solidity-step.