AwesomeNEAR May Announcement | Learn more
AwesomeNEAR
  1. Home
  2. Projects
  3. Veridise
Veridise

Veridise

Hardening blockchain security with formal methods.

Veridise on NEAR

Explore NEAR Protocol and Aurora Security projects and DApps

Veridise official website and Twitter, Facebook, Medium, GitHub, LinkedIn, Telegram, Discord links

Visit Website Veridise Official Website
Share

Veridise Twitter

Veridise Facebook Pages

Veridise Medium, blog, news, tutorials, and announcements

Veridise GitHub developers and source code

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.

Related Projects

Magic Labs

Magic Labs

Drop passwords. Use magic links.
HAPI

HAPI

Onchain Cybersecurity Protocol for DeFi.
Immunefi

Immunefi

The leading bug bounty platform for blockchain with the world's largest bug bounties.
Orchid

Orchid

Keep your data private and access content anywhere.
OpenZeppelin

OpenZeppelin

The standard for secure Web3 applications.
RadRugs

RadRugs

NFT Audit & Security Dashboard.
Mute DAO

Mute DAO

Building a community of on-chain investigators.
Rustle

Rustle

The first automatic auditor offered by BlockSec for NEAR.
AuditOne

AuditOne

Audits for projects, trust layer for platforms, security for Web3.
Elliptic

Elliptic

Blockchain Analytics & Crypto Compliance Solutions.