Theory Audit (~6 weeks) by @nicola, @nikkolasg, @irenegiacomelli, @lucaniz: the team will read the current paper and will produce a document with correct parameters and the correct construction.
Implementation/Circuit Audit first pass (~1 week) by @nicola, @porcuquine, @dignifiedquire, @arielgabizon: the team will read the code together and check it against the spec. The motivation for this work is to verify that there are no major flaws in our spec/circuit implementation
Implementation/Circuit Audit first pass (~3 weeks) by @nicola, @porcuquine, @dignifiedquire, @dignifiedquire: the team will read the code together and dive into the details of the implementation. The motivation for this work is to verify that there there is NO flaw in our implementation. (Circuits should be frozen at this time.)
External audit
Related is the "ceremony playbook" (for the second phase).
@nicola commented on Thu Aug 08 2019
The internal audit will have three phases:
Related is the "ceremony playbook" (for the second phase).