FEAT-(ZK): Proof-Of-Association Circuit Implementation

[FeurJak]

Implementation of the Proof-Of-Association Zk Circuit (formerly referred to as Proof-Of-Innocence).

Definitions:

Compliance Predicate:

Any predicate for which when satisfied permits or enable an action is considered a compliance predicate, i.e.:

For Protocol A to accept assets transferred by User B, User B must provide evidence of a valid KYC.
Thereby, when User B provides such evidence, User B is compliant to Protocol A and User B is permitted to deposit the asset to Protocol A.

The compliance predicate can be re-phrased as: "All assets deposited into Protocol A were transferred by accounts that held a valid KYC".

Association Set & Proof-of-Association:

An 'association set' is a set of commitment / release records that satisfy a compliance predicate for which a proof-of-association can be generated against, i.e:

• All records in the association set involved transfers of assets that have no exposure to Money Laundering, Terrorism and Hacks.
• All records in the association set are records from Privacy Pool X.
• Some of the records are records that are owned by User A.
• All of the records in the set that are owned by User A are associated with each other.

Therefore User A can generate a Proof-of-Association against the association set.

*** Note: This proof is zero-knowledge*** .

Context:

Implementation Plan:

Expected Outcome: