External Circuits audit

Date

December 1, 2021 → December 9, 2021

Assign

@ + Proofs team + JP Aumasson

Status

Completed

First-timer

Property

PDF Audit document we received from JP Aumasson as the result of our successful audit can be found here:

Additional Items that Which May be Helpful to Auditors

~~Diagram(s), e.g. TreeROld (generated by SDR), TreeDNew, TreeRNew, and TreeDNew sub-trees (ApexTree, PartitionTree)~~

~~Circuit spec~~

Audit Checklist

~~Soundness, e.g. there are not multiple sets of private inputs (witnesses) which satisfy a circuit instance~~

~~Check that it is fine to have unconstrained private inputs~~

~~Poseidon domain separation in PRF~~

~~Correctness of bits shifts and slicing, e.g. we are correctly slicing the high h bits from each challenge's bits~~

~~Correctness of splitting each challenge's TreeDNew path into sub-paths, e.g. partition and apex~~

Relevant GH issue:

Circuits audit for SnapDeals implementation · Issue #1544 · filecoin-project/rust-fil-proofs

You can't perform that action at this time. You signed in with another tab or window. You signed out in another tab or window. Reload to refresh your session. Reload to refresh your session.

github.com

Circuits audit for SnapDeals implementation · Issue #1544 · filecoin-project/rust-fil-proofs

CryptoNet is a Protocol Labs initiative.