title

draft-google-cfrg-libzk-00 - libZK: a zero-knowledge proof library

charset

utf-8

X-UA-Compatible

IE=edge

viewport

width=device-width, initial-scale=1

article:section

Individual Internet-Draft

og:title

libZK: a zero-knowledge proof library

og:url

https://datatracker.ietf.org/doc/draft-google-cfrg-libzk/

og:site_name

IETF Datatracker

og: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 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.

og:type

article

alternate

/feed/document-changes/draft-google-cfrg-libzk/

apple-touch-icon

https://static.ietf.org/dt/12.44.0/ietf/images/ietf-logo-nor-180.png

canonical

https://datatracker.ietf.org/doc/draft-google-cfrg-libzk/

icon

https://static.ietf.org/dt/12.44.0/ietf/images/ietf-logo-nor-32.png

icon

https://static.ietf.org/dt/12.44.0/ietf/images/ietf-logo-nor-16.png