We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 17b5b61 commit 5501b94Copy full SHA for 5501b94
1 file changed
prover/src/lib.rs
@@ -671,8 +671,8 @@ pub fn verify_with_options(
671
// Bound num_private_input_pages before allocating PageConfigs.
672
// MAX_PRIVATE_INPUT_SIZE fits in ~26 pages of DEFAULT_PAGE_SIZE.
673
{
674
- use executor::vm::memory::MAX_PRIVATE_INPUT_SIZE;
675
use crate::tables::page::DEFAULT_PAGE_SIZE;
+ use executor::vm::memory::MAX_PRIVATE_INPUT_SIZE;
676
let max_pages =
677
(MAX_PRIVATE_INPUT_SIZE as usize + 4 + DEFAULT_PAGE_SIZE - 1) / DEFAULT_PAGE_SIZE + 1;
678
if vm_proof.num_private_input_pages > max_pages {
0 commit comments