Formally verified Ethereum consensus client, built with Lean 4 by Nyx Foundation.
Note: Verity is currently under active development and has not been released.
Verity is an Ethereum Lean Consensus client that uses formal verification (Lean 4) to mathematically prove correctness, eliminating the gap between specification and implementation.
This repository contains the static website for Verity.
index.html— Single-file static site (HTML + CSS + JS)og-image.png— Open Graph image for social sharing
The site can be deployed to any static hosting provider (GitHub Pages, Vercel, Netlify, etc.).
Before deploying, update the OGP meta tags in index.html with your actual domain:
<meta property="og:image" content="https://your-domain.com/og-image.png" />
<meta property="og:url" content="https://your-domain.com/" />- Go to Settings → Pages
- Set source to Deploy from a branch
- Select main branch, root
/ - Save
MIT