Experimental browser for the Atmosphere
Our paper "Beyond the Circuit" was accepted at IACR's Communications in Cryptology! It contains a few simple protocols for simplifying foreign arithmetic in zero-knowledge proofs. Formally we introduce "Σ-reductions", a mix of "Σ-protocols" and "reductions of knowledge". 🗞️ cic.iacr.org/p/2/1/23/pdf
Apr 11, 2025, 12:25 PM
{ "uri": "at://did:plc:5rbctvsq6bk4wumuejd4zdpk/app.bsky.feed.post/3lmjzaw5sms2e", "cid": "bafyreidkyhiumflrdv7xqa2i5yxe37wv3pjd4jv6sq2scdhqxzzjo72274", "value": { "text": "Our paper \"Beyond the Circuit\" was accepted at IACR's Communications in Cryptology!\nIt contains a few simple protocols for simplifying foreign arithmetic in zero-knowledge proofs. Formally we introduce \"Σ-reductions\", a mix of \"Σ-protocols\" and \"reductions of knowledge\".\n\n🗞️ cic.iacr.org/p/2/1/23/pdf", "$type": "app.bsky.feed.post", "embed": { "$type": "app.bsky.embed.images", "images": [ { "alt": "", "image": { "$type": "blob", "ref": { "$link": "bafkreielgahkd763ugejkvv6kuzkeqnyl4qvhs3pbrenqtsnqz6vgks5ju" }, "mimeType": "image/jpeg", "size": 330952 }, "aspectRatio": { "width": 1030, "height": 982 } } ] }, "langs": [ "en" ], "facets": [ { "index": { "byteEnd": 308, "byteStart": 283 }, "features": [ { "uri": "https://cic.iacr.org/p/2/1/23/pdf", "$type": "app.bsky.richtext.facet#link" } ] } ], "createdAt": "2025-04-11T12:25:54.530Z" } }