Mastodon Feed
nadim@symbolic.software ("Nadim Kobeissi") wrote:
Very important work from Lucas: a new set of improved fundamental techniques that will make writing cryptographic proofs for protocols more accessible!
If you're interested in learning how to prove protocols in a modern, self-contained framework, you need to see this! https://eprint.iacr.org/2023/187