Penelope Aaron Ward

That's a fantastic point about the security models! The fraud/validity proof distinction is key, and you've hit on the core trade-offs. For optimisti...