Add origin authenticated, replayable QIR execution receipts
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 35/100
- issue の種類
- 機能追加
- 明瞭さ
- おおむね明確
- 活発さ
- 活発
- 技術スタック
- rust
- 領域
- cryptography, security
調査の方向性
実装ファイルは指定されていません。まず Rust workspace と、提案されている分離された ruvector-qir-receipt crate を見つけ、環境が利用可能になったら、記載されている cargo の format、test、Clippy、benchmark コマンドを一度実行してください。ここで説明されている署名済み receipt の動作、受け入れ試験、パフォーマンスゲート、ADR、RVF の例、rollback 手順、provenance、evidence receipt が揃っていれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Decision
The bounded design candidate is not promotable because Rust compilation and workspace validation could not run in the available environment. This issue records the verified fixture result and the remaining gates. It deliberately avoids duplicating syndrome and decoder ownership already assigned to ruqu by ADR QE 008.
Evidence
Parent SHA: edaffffb3b85768eb1f3ec1f683b7f46f0506af4
Ruqu submodule SHA: d7f572890a766584d9eed188fa8af5d65c96cca4, unchanged
Ruflo task: quantum-weekly-qir-receipt-20260911 with CLI 3.25.6
Controlled 30 trial Node Ed25519 fixture:
- SHA only baseline accepted a foreign issuer in 30 of 30 trials.
- Signed candidate accepted a foreign issuer in 0 of 30 trials.
- Verification p95 was 165.931 microseconds.
Ruflo deep scan reported no findings at any severity. Ruflo secret scan detected no secrets.
The final worktree was returned clean and no unverified candidate code was retained.
Scope
Add an isolated ruvector-qir-receipt crate that canonically binds exact QIR bytes, format, backend, calibration or noise snapshot, configuration, sorted results, shots, seed, queue inclusive latency, total cost, implementation hash, and parent receipt.
Use a domain separated signature statement with an explicit issuer key identity. Label Ed25519 as classical origin authentication, not post quantum security. A receipt proves provenance and integrity, not that a claimed physical or computational result is correct.
Safety limits
- QIR maximum: 128 MiB.
- Configuration and calibration maximum: 1 MiB each.
- Identifier maximum: 256 bytes.
- Shot maximum: one billion.
- Physical QPU receipts require calibration evidence.
- Reject malformed signatures, unknown issuers, field mutation, result mutation, QIR substitution, and replay outside declared policy.
Acceptance criteria
- Run at least 30 seeded foreign issuer trials. SHA only baseline must accept 30 of 30 and the signed candidate must accept 0 of 30.
- Signature p95 must remain below 2 milliseconds and verification p95 below 1 millisecond on CI class hardware.
- Run formatting, focused tests, Clippy with warnings denied, dependency audit, Ruflo scans, and all affected workspace tests.
- Add an ADR, RVF embedding example, rollback instructions, provenance, and a signed evidence receipt.
- Keep syndrome graphs, Stim fixtures, MWPM, fusion blossom, min cut, and QEC simulation in ruqu.
Runnable acceptance test
cargo fmt --all -- --check &&
cargo test -p ruvector-qir-receipt &&
cargo clippy -p ruvector-qir-receipt --all-targets -- -D warnings &&
cargo run --release -p ruvector-qir-receipt --bin qir-receipt-benchmark
Blocking gate
The runtime had no cargo or rustc. Formatting, compilation, focused tests, Clippy, Rust benchmarks, dependency audit, and affected workspace tests remain unverified. Safety score and holdout regression are therefore unproven. No protected branch was modified and no QPU job was submitted.
- 主要言語
- Rust
- スター
- 4.5k
- フォーク
- 603
- 平均マージ
- 1日 11時間
- マージ済み PR（30日）
- 56
環境構築
このプロジェクトの環境構築ファイルはまだ確認していません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
ruvnet/RuVector のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 83/100
メンテナーはふだん 1 日以内に返信
ruvnet/RuVector の issue をすべて見る
似ている issue
-
agent:triaged bug bughunt pm:npm priority:p1
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
SocketDev/socket-patch#464 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
メンテナーはふだん 1 日以内に返信
-
難易度 1/5 1時間未満 初心者へのやさしさ 90/100
メンテナーはふだん 3 日以内に返信
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
stellar/stellar-cli#2773 ·
メンテナーはふだん 2 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
smol-machines/smolvm#1503 · リアクション 1 件 ·
メンテナーはふだん 1 日以内に返信