Hardening blockchain security with formal methods.

Veridise on NEAR

About Veridise

What is Veridise and how does it work? What are the key features and benefits of Veridise? How can I learn more about Veridise and stay up-to-date?

Vanguard is built on top of LLVM, an open source compiler toolchain, enabling it to be easily extended to multiple blockchains and programming languages. It currently supports multiple languages on top of both Ethereum and NEAR, with more being added by Veridise.