Longfellow ZK 0290cb32

Loading...
Searching...
No Matches
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.