zefram.eth(@boredGenius):✨Introducing ZKLean, formal verification for interconnected software✨ Frontier AIs keep finding critical bugs everywhere. Formal verification is the obvious cure, but what if your software has dependencies like npm packages or API endpoints? ZKLean is the solution👇

zefram.eth

@boredGenius

Finally giving privacy to crypto users @FoglightPrivacy @cabaldotcooking

가입 July 2015

2.4K 팔로잉 중 26.2K 팬

zefram.eth@boredGenius

2026.10.27 02:30

✨Introducing ZKLean, formal verification for interconnected software✨ Frontier AIs keep finding critical bugs everywhere. Formal verification is the obvious cure, but what if your software has dependencies like npm packages or API endpoints? ZKLean is the solution👇