Press & partners

Brand kit

Logos, colors and type — everything you need to feature veritylabs. One click to download. Free for editorial and partnership use.

Download all (ZIP)SVG + WEBP · fonts & palette inside

Questions or need another format? ben@veritylabs.dev

Logos

Light & dark previews — keep clear space equal to the mark height.
Primary mark — on light
Primary mark — on dark

Primary mark

LFG star — use on light backgrounds. Navbar / favicon source.

48×48 · WEBP · ~128 KB

Download WEBP
Verity geometric mark — on light
Verity geometric mark — on dark

Verity geometric mark

Faceted V — standalone icon. Works on light & dark.

507×441 · SVG · crispEdges

Download SVG
Banner / OG image — on light
Banner / OG image — on dark

Banner / OG image

Wide banner for social previews and deck covers.

WEBP · ~9 KB

Download WEBP
Favicon — on light
Favicon — on dark

Favicon

Gradient favicon — also available as SVG.

SVG · 1500×1500

Download SVG
Usage: keep the mark at ≥ 24 px height, don't stretch or recolor, and keep clear space equal to the mark height on all sides. Use the light version on white, dark preview on black/navy.

Colors

Core palette — from tailwind.config.js. Accent is the hero; greys do the rest.

Accent
#2DD4BF

CTAs, highlights, active states

Heading
#000000

Headings, display text

Primary
#404040

Body text

Muted
#949494

Secondary / meta text

Card bg
#F5F7FA

Cards, subtle backgrounds

White
#FFFFFF

Page background

Logo greys

Faceted V tones — from /images/logos/verity.svg. Use for illustrations, not UI.

#1c1c1c
#2e2e2e
#3c3c3c
#525252
#5c5c5c
#666666
#6e6e6e

Typography

Loaded in pages/_document.js. ET Book is self-hosted in /public/fonts/serif.

Plus Jakarta Sans

Primary — UI & body · 400 · 500 · 600 · 700 · 800

font-family: 'Plus Jakarta Sans', system-ui, sans-serif;
Google Fonts ↗

The quick brown fox jumps — 0123456789

Audits give you opinions. We give you certainty. Verity formally proves your contracts do exactly what they're supposed to.

ET Book

Display serif — hero headings · 400 · 700 · 400 italic (self-hosted)

font-family: 'ET Book', Georgia, serif;
etbookot-roman-webfont.woff2 ↓etbookot-bold-webfont.woff2 ↓etbookot-italic-webfont.woff2 ↓

The quick brown fox jumps — 0123456789

Audits give you opinions. We give you certainty. Verity formally proves your contracts do exactly what they're supposed to.

Source Serif 4

Article body — research pages · 400 · 500 · 600 · 700 · + italic (opsz 8..60)

font-family: 'Source Serif 4', Georgia, serif;
Google Fonts ↗

The quick brown fox jumps — 0123456789

Audits give you opinions. We give you certainty. Verity formally proves your contracts do exactly what they're supposed to.

Caveat

Decorative — accents only · 400 · 700

font-family: 'Caveat', cursive;
Google Fonts ↗

The quick brown fox jumps — 0123456789

Audits give you opinions. We give you certainty. Verity formally proves your contracts do exactly what they're supposed to.

Do

  • Use the WEBP or SVG as-is — no recoloring, no stretching.
  • Keep clear space equal to the mark height on all sides.
  • Use Plus Jakarta Sans for UI, ET Book / Source Serif 4 for editorial.
  • Prefer the accent only for CTAs and highlights.

Don't

  • Don't add drop shadows, outlines or gradients to the mark.
  • Don't place the light logo on busy photos without a solid backdrop.
  • Don't swap the accent for another hue — keep #2dd4bf.
  • Don't use Caveat for body copy — decorative only.

Press boilerplate

veritylabs (LFG Labs) formally verifies smart contracts with Lean 4 and machine-checked proofs — so your protocol does exactly what it claims. We've collaborated with the Ethereum Foundation, Starknet and teams across DeFi on publication-grade case studies. Audits give you opinions. We give you certainty.

Contact: ben@veritylabs.dev · site: veritylabs.dev

This kit mirrors the live site: tailwind.config.js, styles/main.css and pages/_document.js. If you update those, the kit updates with them.