Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens

 (arxiv.org)

1 points | by matt_d  5 hours ago

No comments yet.