1. [Home](https://www.g2.com/)
2. ...
3. [Smart Contract Audit Services](https://www.g2.com/categories/smart-contract-audit-services)
4. [Veridise Discussions](https://www.g2.com/products/veridise/discuss)

[
 ![Product Avatar Image](https://images.g2crowd.com/uploads/product/image/large_detail/large_detail_04f5059957bb0f28f5de8b922383d6c6/veridise.png "Product Avatar Image")
](/products/veridise/reviews)

[

Veridise

](/products/veridise/reviews)

0 ratings

Our blockchain security company is hardening the ledger, one bug at the time. Veridise is an innovative blockchain security company, founded in 2021 by a team of world-class academics. The birthplace of Veridise is the UToPiA research group. Our co-founder and UT Austin professor, Isil Dillig, leads the UToPiA research group, which focuses on program analysis, verification, and synthesis—an area of Computer Science that has profound implications for software security. Starting in 2018, program analysis for smart contracts emerged as a central area of research for the group: They created advanced vulnerability detection tools and built deep domain expertise in the DeFi space. The work of the group didn’t go unnoticed. Several security companies lined up to use these techniques, while protocols sought our expertise for audits. These signals prompted us to roll up our sleeves and start Veridise. Many Veridise team members, such as Kostas Ferles, Ben Sepanski, Shankara Pailoor, Ben Mariano, and Jacob Van Geffen previously worked as researchers in the UToPiA group, and many of them contributed to smart contract security research before joining Veridise. As a result, our blockchain security company is in the unique position of combining the latest academic research discoveries with deep industry experience for industry-leading audits. Today, Veridise is led by president and co-founder Isil Dillig and CEO and co-founder Jon Stephens. The Veridise team consists of 35+ professionals, dedicated to advancing the state of the art in blockchain security. Trust us with your smart contract audits and secure your blockchain with Formal Methods. We offer industry-leading smart contract audits and blockchain security tools from the team trusted by Risc Zero, Succinct, Linea, O1JS, and more.

Show More

When users leave Veridise reviews, G2 also collects common questions about the day-to-day use of Veridise. These questions are then answered by our community of 850k professionals. Submit your question below and join in on the G2 Discussion.

* * *

### 0.0

Nps Score

### All Veridise Discussions

Search

Most CommentedMost HelpfulCommon QuestionsNewest

All DiscussionsDiscussions with CommentsCommon QuestionsDiscussions without Comments

FilterFilter

Filter byExpand/Collapse 

Sort by

Most Commented

Most Helpful

Common Questions

Newest

Filter by

All Discussions

Discussions with Comments

Common Questions

Discussions without Comments

Sorry...

There are no questions about Veridise yet.

## Start a New Software Discussion

Have a software question?

Get answers from real users and experts

[Start A Discussion](/products/veridise/discussions/new)

* * *

 ![Product Avatar Image](https://images.g2crowd.com/uploads/product/image/thumb_square/thumb_square_04f5059957bb0f28f5de8b922383d6c6/veridise.png "Product Avatar Image")

### Have you used Veridise before?

Answer a few questions to help the Veridise community

[
Yes
](javascript:void(0))[
Yes
](https://www.g2.com/login?context=product_review&return_to=https%3A%2F%2Fwww.g2.com%2Fproducts%2Fveridise%2Fdiscuss%3Fsmall_ask%3Dveridise)
No