入札資格照合 ── 公共調達

Lemma は、照合を行った発行者（資格審査機関・税務当局・認証機関・監査人）が、照合の結果を「述語(predicate)」として暗号的に発行する構造を提供します。「入札資格あり」のような結果が、独立した属性証明として発行されます。元データ（資格証・財務諸表・実績書・納税情報）は入札者と発行者の管理下に留まり、検証側に渡るのは結果の ZK 証明だけです。

照合先は 1 か所とは限りません。ISO 認証は認証機関から、財務適格性は監査人から、実績は自社の業務履歴（あるいは業界レジストリ経由の集約）から。各属性は、調達ポリシーがすでに信頼している発行者によって署名されます。

入札は、入札の適格性スキーマに対して合成された 1 つの ZK 証明を運びます。評価者は述語 — 「入札者は有効な ISO 14001 認証を保有・本入札クラスの財務閾値を満たす・過去 5 年間に N 件以上の類似実績がある」 — を、原本の認証書・財務諸表・実績書を一度も保持することなく照合＝独立に検証します。照合が「いつ・誰の発行で・改ざんなく」行われたかは来歴アンカー(docHash)から後年も遡れます。

コンソーシアム入札では、元請が下位サプライヤのアテステーションを自社のアテステーションと同じパターンで合成します。評価者は連鎖された 1 つの証明を見て、コンソーシアム全体の適格性述語を、下位サプライヤ記録を走査せずに検証します。