feat: Create a `verify_decoded_mpt_node` for a circuit#284

Open

hidenori-shinohara wants to merge 47 commits intomainfrom hide/decode-verification-circuit-succinct

+550-164

Commits on Nov 9, 2023

Add a new definition for MPTVariable using the CircuitVariable trait.
hidenori-shinohara
committed
Remove the MPTVariable definition, as we already have one with the CircuitVariable trait.
hidenori-shinohara
committed
Remove the remaining references to the old MPTVariable that I just deleted.
hidenori-shinohara
committed
Fix test_verify_decoded_mpt_node so now it fails as expected. (I haven't finished implementing verify_decoded_mpt_node)
hidenori-shinohara
committed
Finish writing the logic for verify_decoded_mpt_node. The test fails, so there are some bugs.
hidenori-shinohara
committed
Add watch to visually compare the expected value and the actual output.
hidenori-shinohara
committed
clean up the logging statements
hidenori-shinohara
committed
Continue to work on verify_decode_mpt_node. Fix some obvious bugs and make it easier to debug.
hidenori-shinohara
committed
Highlight some important comments about temporary changes since we cannot merge this PR with these changes.
hidenori-shinohara
committed
Update stuff in both the non-circuit verification logic/tests and the circuit verificaiton logic/tests for readability & better debugging experience
hidenori-shinohara
committed
Readability commit. Add more comments and update some variable names. Tests still fail.
hidenori-shinohara
committed
Fix an obvious bug. Tests still fail.
hidenori-shinohara
committed
I am aware of a few more issues, but if challenger = 1, the tests pass, which is progress.
hidenori-shinohara
committed
Start working on a different abstraction calculate_polynomial_emulating_rlp_encoding.
hidenori-shinohara
committed
My first pass of calculate_polynomial_emulating_rlp_encoding, tests still fail, but good progress
hidenori-shinohara
committed
Tests pass when challenger = 1. Tests fail when challenger != 1. Indicates a problem with the power function. But good progress!
hidenori-shinohara
committed
Fix a signficant bug on powers. Not all tests pass yet.
hidenori-shinohara
committed
All tests pass. This fixes a bug and removes debugging statements. Tests are still incomprehensive, so there's more to do, but the logic seems more or less accurate.
hidenori-shinohara
committed
Add a "negative" test that is expected to fail.
hidenori-shinohara
committed
Readability
hidenori-shinohara
committed

Commits on Nov 10, 2023