search

chainwayxyz / risc0-to-bitvm2

9 stars 2 forks source link

Implement proving for testnets #13

Open ekrembal opened 2 days ago

ekrembal commented 2 days ago

This includes regtest, testnet4, and signet

This circuit should be compilable with a flag, thus, we can select the target system in compile time.

We could make several guest programs for every type but in that case, overall compile time would be huge.

ozankaymak commented 2 days ago

How are we going to prove regtest?

ozankaymak commented 2 days ago

Also why Signet? We don't even use it. Also, it does not use PoW.