0xMiden / 0xMiden/node

Add way to skip proof verification

未关闭
#1,862 2 条评论 0 个 reaction 已指派 0 人 在 GitHub 查看
question rpc
主要语言
Rust
星标
104
派生
138
平均合并
1 天 13 小时
30 天内合并 PR
56

描述

In the context of the client, with the upgrades to 0.14 and the migration to Plonky3, proving is a bit slower. Additionally, the memory footprint seems to be somewhat considerably higher, which forces us to reduce client testing concurrency because we otherwise thrash the system. Lastly, for some reason the protocol crate compile times have become much higher as well. This is especially noticeable in the CI workers which are not particularly strong. There are a couple of things we can do to improve this:

- Improve worker hardware
- Run remote provers in the CI (would improve webclient tests which are strictly single-threaded)
- Mock at least some fraction of the proofs, and avoid proving everything

The first two are a bit of a more costly and complex solutions and with an upper improvement bound.
For the third option, we should be able to easily mock proofs from the client side. However, it also needs support from the node, so I wonder if we can add a feature to the node to skip proof verification while still keeping tx re-execution and validation in place, in such a way that we can avoid proving most of the transactions we run.
We can still keep a few to make sure the proof generation and verification on the network gets appropriately tested as well.

贡献指南

打开贡献指南

评估

这个 Issue 还没有评估数据。

把新 issue 发到你的邮箱

精选适合新手参与的 GitHub issue 摘要。