Search results

Protocol composition: audit receipts for agent actions carrying libzk-verified anonymous credentials

Status: Open.

#151 In google/longfellow-zk;

· tomjwxf opened on Apr 21, 2026

Unbounded layer logw causes fixed-array OOB write in verifier proof parsing

Status: Open.

#146 In google/longfellow-zk;

· jilgolfo opened on Apr 9, 2026

Off-by-one circuit index validation allows heap OOB in prover and verifier

Status: Open.

#145 In google/longfellow-zk;

· jilgolfo opened on Apr 9, 2026

assert_valid_hash_mdoc in mdoc_hash.h does not constrain MSO docType to match outer Document.docType, enabling credential-type substitution

Status: Open.

#144 In google/longfellow-zk;

· jilgolfo opened on Apr 9, 2026

Question: How to generate new mdoc inputs compatible with Longfellow circuits?

Status: Open.

#136 In google/longfellow-zk;

· shehadeh7 opened on Mar 20, 2026

Consider changing proof serialization to match C++ implementation

Status: Open.

#121 In google/longfellow-zk;

· divergentdave opened on Jan 9, 2026

mdoc_zk: Completeness bugs due to range checks against scalar field order

Status: Open.

#120 In google/longfellow-zk;

· divergentdave opened on Jan 6, 2026

Spec: misc: Be clear about when GF(2^128) values should be injected into beta

Status: Open.

#118 In google/longfellow-zk;

· tgeoghegan opened on Dec 15, 2025

Remove Fp128 from the specification

Status: Open.

#116 In google/longfellow-zk;

· tgeoghegan opened on Dec 9, 2025

Add support for building on Windows

Status: Open.

#115 In google/longfellow-zk;

· illumi opened on Dec 9, 2025

Spec: 7.5: Remove oracle from Proof structure

Status: Open.

#109 In google/longfellow-zk;

· divergentdave opened on Nov 26, 2025

Spec: 4.5: quadratic proof not handled

Status: Open.

#108 In google/longfellow-zk;

· tgeoghegan opened on Nov 22, 2025