ATProto Browser

ATProto Browser

Experimental browser for the Atmosphere

Post

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

Record data

{
  "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"
  }
}