0xMiden / 0xMiden/node

Add way to skip proof verification

Open
#1,862 2 comments 0 reactions 0 assignees View on GitHub
question rpc
Dominant language
Rust
Stars
104
Forks
138
Avg merge
1d 13h
Merged PRs (30d)
56

Description

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.

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.