Announcements 2026.07.24 12分で読める

証明付きの為替レートフィードを公開しました

複数の公開為替APIを突き合わせた合成レートを、取得時点の証明付きで配信します。キー不要で呼び出せ、返ってきたレートは proof の再検証で誰でも確かめられます。何を保証し、何は保証しないか——そしてソースをどこまで明かすかを書きます。

Lemma の証明付きデータAPIの第1弾として、為替レートの合成フィードを公開しました。キーもアカウントも不要で呼び出せます。

GET https://workers.lemma.workers.dev/v1/suites/feeds/forex/composite/latest

複数の公開為替APIを突き合わせた合成レートを、全ソースを検証したあとにだけ応答します。更新は日次です。

この記事では、このフィードが何を返し、何を保証していて、そしてソースをどこまで明かしているかを書きます。ただ、その前に「証明付き」がここで何を意味するのかを、はっきりさせておきます。

「証明付き」とは、ここで何を指すのか

Lemma のフィードで言う「証明付き」は、データが生まれた場所で証明（proof）を発行し、あとから誰でもその proof を再検証できる状態を指します。3つの性質を持ちます。

取得時点で proof を発行します。 為替レートを取得したその時点で、値そのものを預けるのではなく、「この値が、この手順で正しく計算された」という事実を証明する proof を発行します。
proof は誰でも再検証できます。 各 proof は Groth16 で検証でき、その中の公開信号（public signals）に、実際のレート値が含まれています。再検証が通れば、その値が改ざんされていないことを確認できます。
検証は無料で、キーもアカウントも要りません。 世界中のどこからでも、公開情報だけで真正性を確認できます。

つまり「証明付き」は、信頼を得るための装飾ではなく、信頼を前提にせずとも確かめられる仕組みです。この違いが、後述する「元のレート値をレスポンスに載せない」判断の根拠になります。

何を返すか

レスポンスには、合成後のレートに加えて、その値がどれだけ検証済みかを示す verification オブジェクトが入ります。これはそのドキュメントに紐づく proof の再検証結果です。

{
  "feedId": "forex/composite",
  "docHash": "0x…",
  "schema": "canonical-sort-v1",
  "subjectId": "forex/composite-…",
  "createdAt": "…",
  "attributes": {
    "source": "forex-composite",
    "base": "USD",
    "date": "<YYYY-MM-DD>",
    "rates.AUD…rates.ZAR": "<float>",
    "rates.AUD_scaled…rates.ZAR_scaled": "<float × 10^8>",
    "sourceRoot.frankfurter": "0x…",
    "sourceRoot.erApi": "0x…"
  },
  "verification": {
    "total": 29,
    "verified": 29,
    "failed": 0,
    "verifyIds": ["…"],
    "verifyUrl": "https://workers.lemma.workers.dev/v1/documents/0x…"
  }
}

verification.total はこのドキュメントに紐づく全 proof 数、verified は Groth16 verify が通った数、failed は失敗数です。verifyIds は各 verify 実行の内容由来レシート（POST /v1/proofs/verify が返す ID）で、verifyUrl は GET /v1/documents/{docHash}（登録記録）への到達先です。rates.JPY_scaled は proof の公開入力と同じスケール整数です。レート値はスナップショット（呼び出し）ごとに変わります。

各 proof には 回路の公開入力（public signals） が含まれ、その中に実際のレート値が入っています。forex-average-v1 の公開入力の並びは次のとおりです（GET /v1/circuits/forex-average-v1 で確認できます）。

sourceRootA, sourceRootB, randomnessA, randomnessB, pathHash, averageRate

末尾の averageRate がレートです。誤差を避けるため ×10⁸ の整数で表し、rates.<CCY>_scaled === rates.<CCY> × 10⁸ となります。

検証する — 2段階

このフィードの検証は、目的に応じて2段階あります。

基本検証（誰でも、その場で）

フィードの GET .../latest は、応答を組み立てるときに各 proof を内部で POST /v1/proofs/verify にかけて再検証します。verification.verified が verification.total と一致していれば、そのドキュメントに紐づく全 proof が Groth16 で検証済みです。

curl -s https://workers.lemma.workers.dev/v1/suites/feeds/forex/composite/latest \
  | jq '.verification'
# verified === total なら、全 proof 検証済み

累計の検証実行数は公開レジストリ（GET /v1/counters）でも見られ、その数字自体にも検証センターで出典が付いています。検証コストは ¥0 です。

詳細検証（値の束縛と、proof の再検証）

値の一致だけでなく、「その値が公開入力に入り、かつ Groth16 検証が通る」ところまで分けて確かめられます。

1. 公開入力の値を確かめる（キー不要）

フィード応答の rates.<CCY>_scaled が、proof の averageRate と同じ整数です。

curl -s https://workers.lemma.workers.dev/v1/suites/feeds/forex/composite/latest \
  | jq '{
      jpy: .attributes["rates.JPY"],
      scaled: .attributes["rates.JPY_scaled"],
      ok: (.attributes["rates.JPY_scaled"] == (.attributes["rates.JPY"] * 1e8 | round))
    }'
# ok === true なら、応答内の float と _scaled が ×10^8 で一致
# scaled は公開入力 averageRate と同じ整数

回路の公開入力名の確認:

curl -s https://workers.lemma.workers.dev/v1/circuits/forex-average-v1 \
  | jq '.inputs'
# [..., "averageRate"] — 末尾がレート

APIキーがある場合は、docHash を指定して公開信号配列そのものを取れます（SDK なら attributes.query）。

curl -s -X POST https://workers.lemma.workers.dev/v1/verified-attributes/query \
  -H "Authorization: Bearer $LEMMA_API_KEY" \
  -H "content-type: application/json" \
  -d '{"docHash":"<docHash from feed>","attributes":[]}' \
  | jq '.results[].proof | {circuitId, averageRate: .inputs[-1]}'
# inputs[-1] === rates.JPY_scaled を確認

2. proof を Groth16 で再検証する（キー不要）

手元に { circuitId, proof, publicSignals } があるとき、認証なしで再検証できます。

curl -s -X POST https://workers.lemma.workers.dev/v1/proofs/verify \
  -H "content-type: application/json" \
  -d '{
    "circuitId": "forex-average-v1",
    "proof": "<proof JSON or base64>",
    "publicSignals": ["<sourceRootA>", "<sourceRootB>", "<randomnessA>", "<randomnessB>", "<pathHash>", "<averageRate>"]
  }' \
  | jq '{valid, verifyId, circuitId}'
# valid === true なら pairing check 通過。verifyId が検証レシート

SDK で手元検証する場合は、circuits.getById で vkey を取り、verifier.verify に渡します。

import { create, circuits, verifier } from "@lemmaoracle/sdk";

const client = create({ apiBase: "https://workers.lemma.workers.dev" });
const meta = await circuits.getById(client, "forex-average-v1");
// meta.artifact.location.vkey から vkey JSON を取得したうえで:
const { ok } = await verifier.verify({
  alg: "groth16-bn254-snarkjs",
  inputs: { vkey, proof, publicSignals },
});

フィードの verification ブロックは、上記と同じ POST /v1/proofs/verify をサーバー側で全 proof に対して実行した結果です。値の束縛は rates.*_scaled（または proof.inputs）で、暗号的な正しさは valid: true / verified === total で、それぞれ別の軸として確かめます。

補足: contentHash を再ハッシュして手元照合する検証方法は、祝日・郵便番号のフィードで使えます（canonical JSON の SHA-256 と照合）。為替は合成値を回路で証明する仕組みのため、verification と公開信号で確かめます。フィードの性質に応じて、確かめ方が変わります。

なぜ「合成」なのか

為替レートは、観測するAPIによって値がわずかに異なります。特定の一社の数字を「正」とするのは、その一社を信用するのと同じです。

そこで複数の公開為替APIから取得し、それらを突き合わせた合成値を計算します。全ソースの取得と検証が完了したスナップショットだけを応答に使います。1本が落ちても残りで継続でき、1本が外れ値を出しても合成の段階で影響を抑えられます。

現状は2ソースですが、ソースは今後増やす前提の設計です。ソースが増えれば増えるほど、特定の1社への依存は薄まり、値の妥当性は高まります。

ソースをどこまで明かすか

結論から言うと、為替APIから取得した元のレート値は秘匿し、ソースAPIは開示します。レスポンスの sourceRoot.frankfurter や sourceRoot.erApi が、どの公開APIを使ったかと、その取得結果の Merkle commitment root です。

いちばん伝えたいのは、元のレート値を知らなくても、ZK による暗号的な束縛が成立しているから、その値を知る必要がないということです。forex-average-v1 回路は「2つの入力から正しく平均が計算されたこと」を証明します。proof の再検証が通れば、合成計算の正しさは確認済みです。APIレスポンスに元レートを載せる必要はなかった——証明がその役割をすでに果たしているからです。

そのうえで、ソースAPIは開示済みです。誰でも同じ公開APIを呼び、返ってきたレートから commitment を組めば、sourceRoot.* と一致するかどうかを確かめられます。元レートをレスポンスに載せなくても、取得結果が同一だったことを第三者が原始的に照合できる、ということです。

郵便番号や祝日のように出所が価値のフィードでは、出典（日本郵便・内閣府）を attribution として表面に明記します。為替の合成フィードが出すのはソース識別子と commitment root であり、「その機関のデータであること」自体を価値として掲げるのとは、出す情報の向きが違います。

何を保証し、何を保証しないか

このフィードの proof が保証するのは、次の範囲に限ります。

合成レートが所定の合成手順どおりに計算されていること
その値が、検証済みの proof の公開入力に含まれていること

保証しないのは、次の点です。

個々のソースが返す値が、市場における「正しい」レートであること

proof が対象とするのは合成計算と値の完全性であり、一次情報の真偽ではありません。一次情報の妥当性は、複数ソースを突き合わせる合成側で実務的に扱います。計算の正しさと値の妥当性は、それぞれ別の仕組みに分けています。

使いどころ

たとえば、海外売上（USD 建て）を円に換算して計上するとき、その換算レートに「時点・出典」の証明が付きます。経費側でも同じで、USD 建て請求の円換算に出典が付きます。自己申告のスクリーンショットと違い、換算レートまで第三者が検証できる——これが証明付きフィードの実用的な差です。

次回

次回以降は、残り2本を1本ずつ書きます。

郵便番号: 全国12万件超を、単件取得もできる形で。4/4 の data-commitment が意味すること（こちらは contentHash の手元照合が使えます）。
祝日: 年に一度しか変わらないデータに、なぜ証明を付けるのか。

このフィードは Lemma の証明付き公共データAPIの一部です。

意思決定のために
つくられている。

Lemma を組織の信頼インフラに。

Discovery Call を予約 →