Mastodon Feed
nadim@symbolic.software ("Nadim Kobeissi") wrote:
A friend has been working on something that will greatly improve how accessible proofs for cryptographic protocols are, and that reduces right down to game-based proofs. Very excited for this to see the light of day soon.