> 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".