waxwing on Nostr: on branch `anchor` there's now a fairly complete setup: the sequencer posts anchors ...
on branch `anchor` there's now a fairly complete setup: the sequencer posts anchors to bitcoin each L2 block. when you withdraw, you prove that an anchor is embedded with enough PoW and at least 10 blocks deep. You prove that your withdrawal represents a valid set of state transitions from genesis. These things together mean that even if the sequencer is colluding against you, you can't be cheated out of your money. And the transfers on L2 are all shielded (like zcash). The remaining risk is censorship: the sequencer censors your withdrawal transaction.
The demo now shows the anchoring so you know how final your transaction is.
https://github.com/AdamISZ/lichen/tree/anchor Shielded transfers on L2. All state transitions are proved valid. Spending costs the sender a 5-10s proof (it's not very optimized).
A question for anyone following along: is Bob safe?
#lichen
