ZKProof Proposal: Interoperability of zero-knowledge tools

The above is one of the proposals, the second one, on JSON R1CS format, can be found here

Here are the notes of the discussion - feel free to comment and use them.

Here are the specific action points that were discussed (in this case to be part of improving the respective proposals and generate further discussion and a summary of the discussion for the reference document.

  • @aurel and authors will update their proposal to include comments on dependencies, types, wasm comments.
  • @Guillaume is there any specific update to the proposal you aim to do?
  • @str4d, Sean Bowe, @jbaylina and myself will write up a summary for the reference document on the following topics:
  1. Platform issue (browser vs native)
  2. Calling convention issue (need protocol for calling gadgets between each other)
  3. Interactivity and semantics
  4. Dependency of libraries / languages - not try to reinvent (talk to people who have thought about this)

Please point out if there is anything I am missing or something more you think we should do / add.

Shoot the comments.