Fixed
- Optimized scan state to reduce memory usage by avoiding duplication of data.
- Updated proof verification to be compatible with the current berkeleynet (rampup4).
Added
- Introduced support for producing proofs (blocks, payments, zkApp transactions, and merge proofs) compatible with the current berkeleynet (rampup4), with pending support for generating circuits.
- Added the ability to produce blocks (excluding user transactions) for testing purposes.
- Implemented pruning of inferior blocks post synchronization with the best tip.
- Enhanced the testing framework and debugging support as follows:
- Improved compatibility with the OCaml node within the testing framework.
- Introduced declarations for essential invariants to be verified by the test framework, simulator, and replayer.
- Integrated SNARK worker into the simulator for SNARK production.
- Added functionality to store dumps of blocks and staged ledgers for inspection upon block application failure due to mismatches.