mdoc Directory Reference

Directory dependency graph for mdoc:

Directories
	circuits

Files
	mdoc_1f.h
	mdoc_1f_io.h
	mdoc_1f_witness.h
	mdoc_attribute_ids.h
	mdoc_constants.h
	mdoc_decompress.h
	mdoc_examples.h
	mdoc_hash.h
	mdoc_revocation.h
	mdoc_revocation_constants.h
	mdoc_revocation_witness.h
	mdoc_signature.h
	mdoc_test_attributes.h
	mdoc_witness.h
	mdoc_zk.h

Detailed Description

Procedure for updating a circuit to ensure backwards compatibility.

If the inputs and witnesses are the same, but the gates have changed

• Produce a new set of hashes and add them to zk_spec.
• Checkin the files into circuits/circuits using circuitmaker.

  $ blaze build -c opt privacy/proofs/zk/lib/circuits/mdoc:circuit_maker
  $ blaze-bin/privacy/proofs/zk/lib/circuits/mdoc/circuit_maker --output_dir
  privacy/proofs/zk/lib/circuits/mdoc/circuits/ --num_attributes 1

• Ensure that unit tests pass.

If the inputs/witnesses have changed

• In addition to the above, the code that produces the witness and fills it into the Dense object must branch on the version to properly create the prover and verifier parameters.