Experimental browser for the Atmosphere
Jonathan Rouach from QEDIT outlined the motivation for the development of an end-to-end Lean proof for the PLONK verifier. youtube.com/live/dNLa5B2ER74
Apr 3, 2025, 8:40 PM
{ "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3llwr5d3m5c2l", "cid": "bafyreifjyc7ctdcs3dsajfmqtit7k4s3ljoa2enl4rypjsln3kuqetpgtm", "value": { "text": "Jonathan Rouach from QEDIT outlined the motivation for the development of an end-to-end Lean proof for the PLONK verifier.\n\nyoutube.com/live/dNLa5B2ER74", "$type": "app.bsky.feed.post", "embed": { "$type": "app.bsky.embed.external", "external": { "uri": "https://youtube.com/live/dNLa5B2ER74", "thumb": { "$type": "blob", "ref": { "$link": "bafkreib6ums62lwopw2eoqrwrxjwwd243i6gg6xwcribbegds4e4fp3bcy" }, "mimeType": "image/jpeg", "size": 814221 }, "title": "Choosing PLONK, the Verified Verifier - Jonathan Rouach (QEDIT)", "description": "YouTube video by ZKProof Standards" } }, "langs": [ "en" ], "reply": { "root": { "cid": "bafyreic3agj63japf6fjrmqxq4bqoaqckrx6dzcu5e6obb7lz6ymi4wlbm", "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3llwr5blac22l" }, "parent": { "cid": "bafyreifjf4dmdltrjctzypdseep5za3depifyuogl5vueuxrxxgzlginqy", "uri": "at://did:plc:devnu4zs2viutk26clxykpbb/app.bsky.feed.post/3llwr5cahy22l" } }, "facets": [ { "index": { "byteEnd": 152, "byteStart": 124 }, "features": [ { "uri": "https://youtube.com/live/dNLa5B2ER74", "$type": "app.bsky.richtext.facet#link" } ] } ], "createdAt": "2025-04-03T20:40:07.332Z" } }