After Detailed Inquiries And The Company's Official Website Show:
Veridise Is A Company Focused On Blockchain Security, Founded In 2021 By A Group Of World-class Academic Experts. The Company Is Committed To Solving The Most Complex Security Challenges In The Web3 Ecosystem Through Cutting-edge Research And Technology. Veridise's Mission Is To Enhance The Security And Reliability Of Blockchain Through Formal Verification And Program Analysis Technology.
Products & Services
Veridise Provides Comprehensive Blockchain Security Services, Covering The Following Areas:
Smart Contract Audit:
Conduct In-depth Analysis Of The Security Of Smart Contracts, Detect Vulnerabilities And Provide Remediation Recommendations.
Blockchain Protocol Audit:
Conduct Comprehensive Security Analysis Of L1 And L2 Blockchain Protocols To Ensure The Security Of The Underlying Architecture.
Zero-Knowledge Circuit Audit:
Focuses On The Security Evaluation Of Zero-Knowledge Proof (ZK) Technology To Ensure Privacy Protection And Computational Correctness.
Decentralized Finance (DeFi) Audit:
Provide Customized Security Audit Services For The Complexity Of The DeFi Protocol.
Formal Verification:
Utilize Advanced Formal Verification Techniques To Ensure Code Correctness And Security.
Technical Features
Formal Verification And Program Analysis:
Veridise Takes Formal Verification As Its Core Technology And Combines Program Analysis Methods To Detect Vulnerabilities That Are Difficult To Find In Traditional Audits.
Academic And Industry Combination:
The Company Team Is Composed Of Top Talents From Academia And Industry, Applying The Latest Research Results To Real Projects.
Special Tools:
Veridise Has Developed A Variety Of Internal Tools For Detecting Complex Vulnerabilities And Providing Comprehensive Security Analysis.
Full-stack Security Coverage:
Services Cover Multiple Fields Such As Smart Contracts, Blockchain Protocols, And Zero-knowledge Circuits, Providing A Full Range Of Security Guarantees.
Blockchain Project Parties Participate
Veridise Has Provided Security Services For Several Well-known Blockchain Projects, Including But Not Limited To:
Linea:
Provides Security Audits For Smart Contracts And Protocols.
Manta Network:
A Privacy Protection Project Focused On Zero-knowledge Technologies. Veridise May Have Participated In The Security Evaluation Of Its ZK Circuit.
Scroll:
An Ethereum-based L2 Scaling Solution For Which Veridise Provided Security Audit Services.
Other Projects:
Veridise May Also Have Participated In Security Audits Of Other Blockchain Protocols, DeFi Projects, And Zero-knowledge Technologies, But The Specifics Need To Be Further Confirmed.
