I-D Action: draft-google-cfrg-libzk-02.txt

Internet-Draft draft-google-cfrg-libzk-02.txt is now available.

   Title:   Longfellow ZK
   Authors: Matteo Frigo
            abhi shelat
   Name:    draft-google-cfrg-libzk-02.txt
   Pages:   51
   Dates:   2026-07-22

Abstract:

   This document defines an algorithm for generating and verifying 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 0.  The technique here combines the MPC-in-the-head
   approach for constructing ZK arguments described in Ligero [ligero]
   with a verifiable computation protocol based on sumcheck for proving
   that C(x,w)=0.

The IETF datatracker status page for this Internet-Draft is:
https://datatracker.ietf.org/doc/draft-google-cfrg-libzk/

There is also an HTML version available at:
https://www.ietf.org/archive/id/draft-google-cfrg-libzk-02.html

A diff from the previous version is available at:
https://author-tools.ietf.org/iddiff?url2=draft-google-cfrg-libzk-02

Internet-Drafts are also available by rsync at:
rsync.ietf.org::internet-drafts


_______________________________________________
I-D-Announce mailing list -- [email protected]
To unsubscribe send an email to [email protected]