4 ms·

I'm pretty sure that this is part of the code that implements fraud proofs on Arbitrum One, which is one of the few L2s to currently have fraud proofs. Sequenc

I'm pretty sure that this is part of the code that implements fraud proofs on Arbitrum One, which is one of the few L2s to currently have fraud proofs. Sequencer side: https://github.com/OffchainLabs/nitro/blob/d28682b9300d50214d8ac05a1c76da7a50d5407a/validator/server_arb/machine.go#L255 https://github.com/OffchainLabs/nitro/blob/d28682b9300d50214... Contract side: https://github.com/OffchainLabs/nitro-contracts/blob/90037b996509312ef1addb3f9352457b8a99d6a6/src/osp/OneStepProver0.sol https://github.com/OffchainLabs/nitro-contracts/blob/90037b9... It seems to me that Optimism is lagging way behind - I'm not sure if they have fraud proofs yet even to this day. I consider Arbitrum to have "picked up the torch" so-to-say.

fwip 3y ago
So, Ethereum "has blobs" now that "are provable," by an implementation that doesn't appear to contain tests [0]. Crypto, stay winning. https://github.com/search?q=test+repo%3AOffchainLabs%2Fnitro+path%3A%2Farbitrator%2Fprover%2F&type=code&ref=advsearch https://github.com/search?q=test+repo%3AOffchainLabs%2Fnitro...
- everfree 3y ago
  What are you saying? There's a "test-cases" folder in the "prover" folder you linked to a search of. Not sure why it doesn't show up in GitHub's search, but it's right there in front of both of our faces.
  - fwip 3y ago
    Egg on my face, mea culpa. I checked all the places I thought to for Rust code, and was astounded that the search didn't turn it up.
kinakomochidayo 3y ago
As far as I know, Optimism has fraud proofs on Sepolia testnet right now