Skip to content

Simple Programmatic Verification

Benjamin Herman requested to merge feature/programmatic-verification into main
  • 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 through node-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 on KT19pfTQFgQQNhB7xfLYG1qQnDak7x962Bo8.

Merge request reports