8 Commits

Author SHA1 Message Date
arnaucube
5c091dfc4a half-migrate to last Sonobe version whith 'external_inputs' at each step 2024-05-02 09:53:37 +02:00
arnaucube
d7c867d5b7 rm Cargo.lock 2024-04-16 23:54:32 +02:00
arnaucube
84fe161812 update to last sonobe version with full solidity-verifier 2024-04-16 23:53:59 +02:00
dmpierre
e4ec41336d chore: remove test lib 2024-04-01 18:02:09 +02:00
dmpierre
408cc593db chore: update sh with instance type + save sol and calldata to file 2024-04-01 17:57:12 +02:00
dmpierre
a3ce9d7805 chore: update proving with decider-eth 2024-04-01 14:27:17 +02:00
dmpierre
850a9b7b05 chore: update sh script and number of blocks being proven 2024-03-22 15:50:35 +01:00
dmpierre
d1b2f3ff23 init 2024-03-22 14:10:29 +01:00