hyperledger-labs / blockchain-verifier

bcverifier: Blockchain verification tool
Apache License 2.0
16 stars 8 forks source link

Skip processing key-value pairs unless necessary #13

Closed shimos closed 3 years ago

shimos commented 3 years ago

In the current implementation, key-value processing can take much time and memory to save the history of all the values in the state. This patch skips key-value pairs when no application checkers are specified.

This suppresses time and memory consumption when a user does not intend to examine and verify the contents of the transactions.