Skip to content

Home > Resources > wikis > IETF-draft-google-cfrg-libzk

Longfellow ZK — IETF draft-google-cfrg-libzk

Last modified: 2026-10-23

Summary

Internet-Draft by Google specifying the Longfellow ZK argument: a succinct non-interactive ZK argument for circuit satisfiability that combines the Ligero MPC-in-the-head commitment with a sumcheck-based verifiable computation protocol. It is the specification of the system Google uses to prove ECDSA-signed mdoc credentials in zero knowledge, and the basis for interoperable implementations.