[MPTWG] Reformat JSON files

[ChihChengLiang]

Description

Issue Link

#1658

Type of change

Breaking change (fix or feature that would cause existing functionality to not work as expected)

Contents

• Use proper Go libraries to dump the json files. This reduces the number of serialization/deserialization codes and errors.
• Regenerate JSON files.
• Rewrite the parsing code in MPT circuit.

How Has This Been Tested?

See if the new JSON format can be consumed by the MPT circuit and run the test successfully.

[miha-stopar]

Nice! I started to review this PR, but later I saw it's still draft.
It requires some changes in the circuit as well, like for example inwitness_row.rs adding

#[derive(Clone, Serialize, Deserialize, Debug)]
#[serde(transparent)]
struct HexVal {
    #[serde(with = "hex::serde")]
    hex: Vec<u8>,
}

and changing for Node struct

pub values: Vec<Vec<u8>>,

to

pub values: Vec<HexVal>,

and then changing the assign function of MainRlpGadget. Do you plan to do these changes in this PR?

[ChihChengLiang]

Hi @miha-stopar,
Thanks for the early review! The PR is still a draft, but a quick look from you is helpful!
I think the MainRLPGadget can still take &[u8] as inputs. The Deref trait on Hex resolved that issue.

[KimiWu123]

I didn't check json files but others looks good to me.

[miha-stopar]

LGTM!