@odiy

Been studying @SuccinctLabs for some time now and never stopped thinking about how secure those proves can be? What if bugs infiltrate the sys and malicious provers take advantage and try to exploit the system? Succinct partnerx with @VeridiseInc (auditing firm) to limit that. With the use of Picus (a security tool by Veridise) it helps to formally prove determinism across SP1 to eliminate most of those security vulnerabilities, ensuring circuits behave as intended adding another layer of security for the SPN alongside third-party audits & SP1-2FA ft At succinct we don’t just prove but PROVE SECURELY More security measures will be added along with

0 reply

1 recast

0 reaction