Notes Notes 要点

• Vega proves facts such as age, personhood, or professional status without uploading the credential.
• It requires no trusted setup and reports about 92 ms proving, 108 KB proofs, and 23 ms verification for a mobile driver's license.
• NeutronNova folds SHA-256 step instances, while Spartan proves the folded step and core circuits.
• NovaBlindFold adds zero-knowledge with low overhead over a small verifier-check constraint system.
• Fold-and-reuse proving caches credential work and rerandomizes commitments for unlinkable repeated presentations.
• Device binding signs a fresh session nonce with a secure-element key to reduce misuse of leaked credentials.

• Vega允许用户证明年龄、真人或职业状态等属性，而不上传政府凭证本身
• 系统无需可信设置，典型移动驾照场景下约92 ms生成108 KB证明，验证约23 ms
• 通过NeutronNova折叠SHA-256 step instances，并用Spartan证明折叠后的step与core circuits
• NovaBlindFold用于低开销实现零知识，避免在完整秘密数据上承担过高开销
• fold-and-reuse proving将凭证相关工作缓存并重随机化，使多次出示不可链接且更快
• 设备绑定要求安全硬件中的设备私钥签名会话nonce，降低凭证泄露后的滥用风险

• Vega は身分証明書そのものをアップロードせず、年齢、本人性、職業資格などの属性だけを証明できる。
• 信頼できるセットアップは不要で、モバイル運転免許証では約 92 ms で 108 KB の証明を生成し、約 23 ms で検証できると報告している。
• NeutronNova で SHA-256 の各ステップを折りたたみ、Spartan で折りたたまれたステップ回路とコア回路を証明する。
• NovaBlindFold により、小規模な検証用制約系の上で低い追加コストのゼロ知識性を実現する。
• 証明処理の折りたたみと再利用により、証明書関連の計算をキャッシュし、コミットメントを再ランダム化して複数回の提示を関連付け不能にする。
• デバイスバインディングでは、安全領域内のデバイス秘密鍵でセッション nonce に署名し、漏えいした身分証明書の悪用リスクを下げる。