3 ms·

> The actual proving mechanism is either a) too amazing for me to understand or b) not quite figured out yet. Rollups use either optimistic proofs or zero know

> The actual proving mechanism is either a) too amazing for me to understand or b) not quite figured out yet. Rollups use either optimistic proofs or zero knowledge proofs for settlement > The blob stuff is about "ok if that's a thing how do I prove to some L1 contract that I own these L2 funds?". It's about data availability > there's (supposedly) a way for you to slowly get your funds back by exiting on L1 They're called escape hatches, you can view the state of each L2 on L2Beat: https://l2beat.com/scaling/summary https://l2beat.com/scaling/summary

dboreham 3y ago
> Rollups use either optimistic proofs or zero knowledge proofs for settlement Can you post an example of a code that implements either of these? (the fraud proof, not the happy path) I ask because in the past when I researched L2s such as Optimism, that code was "to be developed".
- everfree 3y ago
  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
- rauljordan2020 3y ago
  Hey! I'm one of the developers working on Arbitrum's next iteration of optimistic proofs. It's a really fun problem of many parties resolving disputes about a deterministic state. Happy to answer any questions

dboreham 3y ago

> Rollups use either optimistic proofs or zero knowledge proofs for settlement Can you post an example of a code that implements either of these? (the fraud proof, not the happy path) I ask because in the past when I researched L2s such as Optimism, that code was "to be developed".

everfree 3y ago
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
rauljordan2020 3y ago
Hey! I'm one of the developers working on Arbitrum's next iteration of optimistic proofs. It's a really fun problem of many parties resolving disputes about a deterministic state. Happy to answer any questions