Don’t just take our word for it—hear directly from industry leaders why they choose to work with Veridise: Consensys Linea, o1Labs, RISC Zero and Demox Labs.
关于我们
Veridise is a blockchain security company founded by a team of world-class researchers. We specialize in auditing smart contracts and blockchain implementations and possess particular expertise in zero-knowledge-related audits. We have also developed in-house program analysis and security tools, built using our cutting-edge research on automated program analysis, fuzzing, and formal verification. We've earned the trust of clients such as the Manta Network, Succinct, Semaphore, Circom-lib, Scroll, and Ribbon Finance.
- 网站
-
https://www.veridise.com/
Veridise的外部链接
- 所属行业
- 计算机和网络安全
- 规模
- 11-50 人
- 总部
- Austin ，TX
- 类型
- 私人持股
- 创立
- 2022
地点
Veridise员工
动态
-
We're excited to announce that we've been awarded a grant from the Ethereum Foundation to build an open-source Intermediate Representation (IR) for ZK circuit languages. We call this LLZK. The aim of the work is to address fragmentation in the zero-knowledge space, which has lead to both poor maintainability and limited security tooling. We’re aiming to address both of these with LLZK. So, what is LLZK? It's a flexible framework inspired by LLVM, designed to unify diverse front-end languages and backend architectures, eliminating the need to reinvent solutions. LLZK framework aims to unify and streamline circuit compilation, improving both maintainability and security across the ZK landscape. Click comments for full blog post!
-
-
If you’re building on the Mina Protocol using o1js, this blog post is a must-read. After 39 person-weeks of security auditing, we've identified 4 key strategies for secure development with o1js, the TypeScript ZK library from o1Labs. In this blog post, our Chief Security Officer Benjamin Sepanski dives into four examples: - Example 1: Trust the Types - Example 2: It’s still ZK under the hood: No conditional data flow! - Example 3. Account Updates: Mastering on-chain state management - Example 4: Don’t get DoS’ed: Actions & Reducers Full blog post link in the comments below!
-
-
Which zero-knowledge vulnerabilities show up the most in our ZK audits? Jon Stephens unpacks them in 2 minutes.
-
What are the most common DeFi and smart contract vulnerabilities we discover? Jon Stephens breaks it down in just 90 seconds.
-
Security audits can be complex—when’s the right time to schedule, and how do you prepare? How does the auditing process work? Jon Stephens walks you through it.
-
Why are tools essential in security auditing? Learn why from Jon Stephens and discover more about our tools: Vanguard, OrCa, and Picus.
-
We conducted a comprehensive security audit of o1js v1 last year. o1js is developed by o1Labs, and it's a crucial TypeScript library that powers ZK application development on the Mina Foundation protocol. In this blog post we dissect three bugs we found ??
-
-
Learn about a privacy-focused DEX with Max S., CEO & Co-founder of Arcane Finance building on Aleo blockchain. Discover what Max has to share about his experience working with Veridise.