Content
@
0 reply
1 recast
1 reaction
Wilson Cusack
@wilsoncusack
New idea for L2 voting: - With the coming Duncan upgrade, we'll be able to do proofs on L2 about L1 state, allowing voting - We can also do proofs on L1 about L2 state, because of the output oracle. Technically you're supposed to wait 7 days, but that's prob overkill 😀
4 replies
0 recast
23 reactions
carlos juar.eth
@juar.eth
What are you thinking for doing proofs on L2 about L1 state? Some L2s have access to mainnets merkle tree, but not all afaik. Maybe there’s something about Dencun I’m missing. 4788 is great as an oracle, can’t wait playing with it 🤠
1 reply
0 recast
0 reaction
Wilson Cusack
@wilsoncusack
Yes so after dencun the opstack will expose the same block root contract on L2!
1 reply
0 recast
1 reaction
carlos juar.eth
@juar.eth
Oh yeah! Didn’t know about that! Is there a list of changes I can take a look at? That’s definitely something I want to big hacking on 😏
1 reply
0 recast
0 reaction
carlos juar.eth
@juar.eth
Oh wait, but checking out the Ecotone upgrade, I only see being pushed the Beacon block state, not the EVM. I might be missing something, I don’t know how could I do a proof of contract balances with that 🤔
1 reply
0 recast
0 reaction
Wilson Cusack
@wilsoncusack
All you need for a secure storage proof on L2 about state on L1 is a trusted root from L1, which this will provide
1 reply
0 recast
0 reaction
carlos juar.eth
@juar.eth
Right! I keep forgetting beacon's block roots have the Execution Payload inside 👏 We built with Noir something similar to this inside the L1 for Nouns in the past --> https://github.com/aragonzkresearch/nouns-anonymous-voting Happy to get the ball rolling for this working on @base. Any other zk DSL you'd recommend?
0 reply
0 recast
0 reaction
