Logo

    Audit items relevant for our review

    Item under review
    Review status
    Main findings from the review process
    Related to:
    Circuits and verification algorithm of proofs
    Done

    main items are listed below, but also linked here

    Circuits (Proofs)
    Smart contracts (actors code)
    Done

    Actors
    Pathways from actors to FFI for the verification storage subsystem
    Done

    ActorsFFI
    Storage subsystem capability of updating deals/test suite testing deal updates
    Done

    CryptoNet is a Protocol Labs initiative.