News
Curated articles, my blog posts, and site announcements.
All Categories
Loading news...
v12.sh News
Company-specific announcements, X posts, and blog updates from the portfolio.
Portfolio news
41
Exo8 news items
Lighter19 news items
Lucis5 news items
MegaETH16 news items
Monad23 news items
Morpho19 news items
Prime Intellect41 news items
Accountable11 news items
Friend7 news items
Octet3 news items
Runner8 news items
Sealgate1 news items
Unlink2 news itemsv12.sh2 news items
Agora5 news items
Aligned Layer19 news items
Delta3 news items
Fabric Cryptography8 news items
Giza17 news items
Praxis9 news items
Rhinestone9 news items
Sorella10 news items
Succinct24 news items
Wildcat9 news items
Zenith16 news items
OWN6 news items
Phylax27 news items
Berachain13 news items
Clique10 news items
Herodotus8 news items
Inco25 news items
Intuition6 news items
Pimlico15 news items
Ritual35 news items
Confetti1 news items
Eclipse18 news items
Mizu6 news items
Mode9 news items
Nillion5 news items
OpenQ3 news items
Pragma16 news itemsSort:
- X PostResearch
V12 and Zellic publish machine-checked security proof for x86 Linux binaries
V12 and Zellic published a machine-checked proof of a security property for the end-to-end execution of a Linux process running an x86 binary statically linked against glibc. The teams say the approach scales.
- X Post
How to raise a $10M Seed Round
V12 found a major blockchain vulnerability that put more than $100M at risk and earned a $2.5M bug bounty, the largest received by an AI agent.