fricoben

This account is verified. Learn more

@Fricoben

Securing critical code with formal verification @veritylab

Europe veritylabs.dev Joined April 2020

979 Following 5.4K Followers 4.5K Posts

Latest posts 5

Pinned post

fricoben @Fricoben May 11

LFG Labs received a grant from the @ethereumfndn to build Verity.

Verity is a formally verified smart contract compiler written in Lean 4 🧵

fricoben @Fricoben 20h

What it feels like doing formal verification with frontier models while red-teamers are stuck with DeepSeek

fricoben @Fricoben 1d

GTA 6 will be vibe coded before release

Felix Rieseberg Verified account @felixrieseberg 2d

I wanted to test Fable 5.2's quality with one-shot prompts without human feedback.

Everything in this game is from scratch: models, sounds, textures. ~$550 at API pricing, ~2.7M output and 445M input tokens, heavily cached. Took 8 hours!

Play it here: claude.ai/artifact/BGY1S…

View quoted post on X

fricoben @Fricoben 2d

First of a long list 🫡

Verity Verified account @Veritylab 2d

We formally verified EIP-8282 for the @ethereumfndn.

Proved directly on the bytecode, checked by Lean.

veritylabs.dev/our-work/eip-8…
View quoted post on X

fricoben @Fricoben 2d

Lean 27x this year btw

That’s the FV wave coming to your codebase