Loading audit details...

zkSync
Spearbit audited zkSync’s snark-wrapper report on November 28, 2023, under the Bridge category, identifying 2 issues in total.
Over the course of 14 days in total, zkSync engaged with Spearbit to review snark-wrapper, era-boojum and rescue-poseidon protocols. The review verified that the constraints correctly encode the native Boojum STARK verifier.