try

better err log: (1) return err for copy circuit overflow (2) log::war…

…n for state root mismatch

(v0.13.1) Move params out of prover/verifier & Additional sanity check (

#1405)

* refactor(prover): move params out of prover/verifier

* clean

* remove redundant function 'degrees'

* add sanity check (decoded blob == batch bytes)

---------

Co-authored-by: Rohit Narurkar <rohit.narurkar@proton.me>

(v0.12.2) Move params out of prover/verifier (#1404)

* refactor(prover): move params out of prover/verifier

* clean

* remove redundant method 'degrees'

---------

Co-authored-by: Rohit Narurkar <rohit.narurkar@proton.me>

batch proof load/save

change pi/sig norm

chore: upgrade trie to make it forward compatible with future trace c…

…hanges (#1392)

* [Feat] Optimize zktrieState with flatten proofs (#1388)

* induce "query" mode for building sdb

Signed-off-by: noelwei <fan@scroll.io>

* switch zktrie dep

Signed-off-by: noelwei <fan@scroll.io>

* induce flatten proof and integration test

Signed-off-by: noelwei <fan@scroll.io>

* update zk_dep
use key cache

* fix test issue

* update zktrie dep

* induce mpt state updating

* fix issue in chunk building

---------

Signed-off-by: noelwei <fan@scroll.io>

* update zktrie

* use v0.8 for zktrie

* use v0.9 for zktrie

* update cargo lock

---------

Signed-off-by: noelwei <fan@scroll.io>
Co-authored-by: Ho <noel.wei@gmail.com>

use zktrie 0.7

fix: propagate `chain_id` over app SNARKs (batch circuit instances) (#…

…1382)

* propagate chain_id over recursion circuit instances

* generic recursion for "propagated" app PI

* mark chain id for "propagated"

* fix typo

* update doc

* fix(doc): check CI run

---------

Co-authored-by: Rohit Narurkar <rohit.narurkar@proton.me>
Co-authored-by: Rohit Narurkar <rohit.narurkar@protonmail.com>

fix: blob bytes <= max allowed (#1373)