José A. Alonso on Nostr: VCVio: A formally verified forking lemma and Fiat-Shamir transform, via a flexible ...
VCVio: A formally verified forking lemma and Fiat-Shamir transform, via a flexible and expressive oracle representation. ~ Devon Tuma, Nicholas Hopper.
https://eprint.iacr.org/2024/1819.pdf #ITP #LeanProver
Published at
2024-11-11 06:37:26Event JSON
{
"id": "fa9beb48d1b0458158404388cd43cdaf7240803670c23da6c605fcbbd267101f",
"pubkey": "0efb7bc903f4c6716cd4d07830d344d7abe5b607a156de3cde1ac1a5bf22ae1c",
"created_at": 1731307046,
"kind": 1,
"tags": [
[
"t",
"leanprover"
],
[
"t",
"itp"
],
[
"proxy",
"https://mathstodon.xyz/users/Jose_A_Alonso/statuses/113462938593366280",
"activitypub"
]
],
"content": "VCVio: A formally verified forking lemma and Fiat-Shamir transform, via a flexible and expressive oracle representation. ~ Devon Tuma, Nicholas Hopper. https://eprint.iacr.org/2024/1819.pdf #ITP #LeanProver",
"sig": "841122b6858133383fd7165dfce3ab38afcc0db435860b16f53796efe9b7a5ffe157d59826da7bb6d1a1757d226ef8e614ae964f082d7f084e456806aec6ef66"
}
