OP Stack

a timeless @kelvin classic 

https://kelvinfichter.com/pages/thoughts/hybrid-rollups/

I actually have an idea on how to do a hybrid zk/op roll up.

It uses the underlying principle of this post I wrote: https://ethresear.ch/t/lookup-singularity-via-mmr/18704
…

lore @optimism | ex: @coinbase | views are my own | what if it all worked out? 

Working on building zkTLS infra/products. A ruthless empiricist and meme connoisseur.

/opacity
/eulerlagrange

Ignore the MMR part. So we’re just precomputing a lookup table and use it as a public input into the circuit.

We have a ZKP + a list of assumptions.

If the ZKP is incorrect, something in the table must be wrong. Submitting a fraud proof a table entry is a lot simpler than bisecting the execution trace.

Ethereum Researcher. OP Labs, prev. EF, working on #Ethereum scaling R&D. 🦇🔊 .oO🔴

tagging in people who can speak euler in case interested 

@tynes @kelvin @proto.eth

Thanks!

Ive thought this through.

Even the MMR approach with an EigenLayer AVS would be more simple than the current approach. You just tune the amount staked to adjust security level.