Simple Programmatic Verification
- Adds a
record
field to proofs, which contains the info needed to lookup an operation through a Tezos RPC API - Ended up not using
@taquito/rpc
. The API wrapper does not simplify code and complicates TypeScript imports. Direct requests to the RPC server throughnode-fetch
were used instead. - Because Prepend and Append operations share most of their code, they were merged into a single Insert operation. However, the impacted on code legibility outweighed the cost of duplicated code, and so the operations were separated again.
- Naive implementation of verification that will be simplified in subsequent commits.
- Ad hoc test visually with
node test/verify.js
in project root.test/test-proof.json
is a real proof pointing to a root published onKT19pfTQFgQQNhB7xfLYG1qQnDak7x962Bo8
.