Closed jyc228 closed 8 months ago
The update introduces enhancements to a zero-knowledge Merkle trie, focusing on key preimage handling. A new method enables modification of leaf nodes' canonical values based on key preimage length, improving functionality. Test functions are added to verify these changes, including leaf node conversion and proof operations. The trie creation and key retrieval processes are refined to directly utilize preimages, ensuring accurate handling in proof generation.
Files | Change Summaries |
---|---|
.../merkle_tree_node.go |
Added CanonicalValueWithKeyPreimage method to LeafNode for modifying CanonicalValue with preimage. |
.../merkle_tree_test.go |
Introduced TestCanonicalValueWithKeyPreimage to test new leaf node conversion logic. |
zk_merkle_state_trie.go |
Updated trie creation and key retrieval to handle key preimages directly. Adjusted Prove method. |
zk_merkle_trie_test.go |
Added tests for proof operations in zero-knowledge Merkle trie, including preimage handling scenarios. |
Thank you for using CodeRabbit. We offer it for free to the OSS community and would appreciate your support in helping us grow. If you find it useful, would you consider giving us a shout-out on your favorite social media?
Summary by CodeRabbit