Midnight ZK library audit status

[jpraynaud]

Why

Before we can use Midnight libraries in production context, we need to have all the parts of the library that we use audited.

What

Assess that the Midnight ZK library parts that we use is audited

How

• Assess that the Midnight ZK library parts that we use is audited

Answer by @iquerejeta:
Midnight-zk: proving circuit audited, circuit (foreign field, poseidon hash, ... ) audited. in-circuit verifier is expected to be audited early next year.