Experimental browser for the Atmosphere
The RFC from Matteo Frigo and Abhi Shelat of Google describes a library for zk-SNARKs they call libZK which is an early informational IETF standardization. They break down detailed specifications for many operations and primitives used in ZK. Article: datatracker.ietf.org/doc/draft-go...
Apr 4, 2025, 12:46 PM
{ "uri": "at://did:plc:ni6haowpxlbbau5c7ocpcncf/app.bsky.feed.post/3llyh4nle5q2d", "cid": "bafyreicjyf7sf6426gdkh2g2vvt6qivekvm3pbn7teiu2hqpv5vqyconzy", "value": { "text": "The RFC from Matteo Frigo and Abhi Shelat of Google describes a library for zk-SNARKs they call libZK which is an early informational IETF standardization. They break down detailed specifications for many operations and primitives used in ZK.\n\nArticle: datatracker.ietf.org/doc/draft-go...", "$type": "app.bsky.feed.post", "embed": { "$type": "app.bsky.embed.external", "external": { "uri": "https://datatracker.ietf.org/doc/draft-google-cfrg-libzk/", "title": "libZK: a zero-knowledge proof library", "description": "This document defines a technique for generating a succinct non- interactive zero-knowledge argument that for a given input x and a circuit C, there exists a witness w, such that C(x,w) evaluates to…" } }, "reply": { "root": { "cid": "bafyreidf2uao3jqi5eaytwn5rjqgzzd22hat5vqlnv3545nj6geyc7mxxi", "uri": "at://did:plc:ni6haowpxlbbau5c7ocpcncf/app.bsky.feed.post/3llyh4m2b6o2t", "commit": { "cid": "bafyreia7furqflk25bxky4o24sildjgb7duqdaxeqde4rdgsfxt42kuomy", "rev": "3llyh4m2kx62t" }, "validationStatus": "valid" }, "parent": { "cid": "bafyreicy5ry6pc5whq3xnsldevqcjyazm2xe5ozvltszi4xdyep5odyo54", "uri": "at://did:plc:ni6haowpxlbbau5c7ocpcncf/app.bsky.feed.post/3llyh4ngahf2i", "commit": { "cid": "bafyreiggvtew3mf6pxfwar2zqu4gzyxwzwovn7jqr3qmffcc3see47pznq", "rev": "3llyh4ngn5n2i" }, "validationStatus": "valid" } }, "facets": [ { "index": { "byteEnd": 289, "byteStart": 253 }, "features": [ { "uri": "https://datatracker.ietf.org/doc/draft-google-cfrg-libzk/", "$type": "app.bsky.richtext.facet#link" } ] } ], "createdAt": "2025-04-04T12:46:08.384Z" } }