Verify batch proofs once kernel exists
オープン
blocked
rpc
- 主要言語
- Rust
- スター
- 104
- フォーク
- 138
- 平均マージ
- 1日 13時間
- マージ済み PR(30日)
- 56
説明
We currently verify a submitted user batch by re-proving it and verifying it matches the submitted proof. This is because the batch proof kernel does not actually do any proving yet - it simply re-verifies the batch's transaction proofs.
Once the batch kernel lands for real, we should switch to verifying it instead.
https://github.com/0xMiden/node/blob/9437942e7b45449779a6d0bc080cf9bf885a5f28/crates/rpc/src/server/api.rs#L475-L483
コントリビューションガイド
評価
この issue はまだ評価されていません。