RM Spec Planned Updates Tracking

Resource Machine Stuff
1

Following the received feedback, I’m creating a thread to publicly keep track of the planned RM spec updates (both bigger features and minor corrections) that didn’t get into any PR yet. I intentionally chose to do it here on the forum and not to use github issues for that.

  • Function privacy
    • remove logicRefHash from everywhere (should be logicRef)
  • Shielded case
    • Assemble the shielded notes together
    • Describe function privacy (the way we think about it now. Might change in the future bc of how Cairo/Risc0 work) tweaks
  • Remove delta field from Transaction data structure (it is computable)
  • Add some kind of memo field to Transaction (somewhere to store ciphertexts, for example)
  • Figure out the issue with delta being a map (non fixed size) in transparent case. Should we just require it being fixed size? It breaks quite a lot of the primitive model otherwise
  • Accumulator Interface
    • Rename Witness to AccWitness or something like that
    • Explicit note about the differences between Witnesses (Cryptographic Accumulator vs Proving System)
    • Sketch out an interface for a set accumulator (does it even satisfy the definition?)
  • Move delta integrity check out of created resource check in compliance proof
  • Make it clear (everywhere we specify witnesses) that witness becomes instance in the transparent proofs
  • Rename ordered set back to List
1 Like