This is a port of the Semaphore circuit, originally built in Circom, to Chiquito.
The following is a diagram of how the circuits are structured and combined in order to obtain the result.
The following circuits are added:
- mimc7_multi: Allows computing and verifying the hashes of a variable number of inputs, and maps the results into a lookup table.
- inclusion_proof: Verifies the correct computation of the last hash of the sequence.
- semaphore: Verifies the computed hashes used the correct input data.