One step of the removal record integrity program entails verifying MMR membership proofs. These proofs, which are essentially Merkle paths, are read from memory instead of nondeterministically divined. Roughly 20% of the program's cycles are spent on this step, but it should be a lot less after switching to nondeterministic input.
One step of the removal record integrity program entails verifying MMR membership proofs. These proofs, which are essentially Merkle paths, are read from memory instead of nondeterministically divined. Roughly 20% of the program's cycles are spent on this step, but it should be a lot less after switching to nondeterministic input.