Limits on Revocable Proof Systems with Miranda Christ | a16z crypto research | a16z crypto | Podwise