https://t.co/yOjAt9QlRxAsymptotic (@AsymptoticTech):Asymptotic is supporting Hashi on Sui with comprehensive formal verification of BTC-backed collateral workflows. As BTC-backed finance moves onchain, mathematical proofs set the bar for institutional trust. ...

RT StarkWare (Privacy x BTCFi) 🥷 (@StarkWareLtd)Most teams rely on standard audits to catch mistakes.StarkWare goes a step further with formal verification, using a proof assistant called Lean to prove that core parts of its stack behave exactly as intended.That means stronger guarantees, fewer blind spots, and a much higher standard of soundness.A technical moat that benefits Starknet, every project building on it, and teams building with the Starknet Stack or StarkEx.Join us in building on stronger founda ...

This is quite an impressive experiment. Vibe-coding the entire 2030 roadmap within weeks.Obviously such a thing built in two weeks without even having the EIPs has massive caveats: almost certainly lots of critical bugs, and probably in some cases "stub" versions of a thing where the AI did not even try making the full version. But six months ago, even this was far outside the realm of possibility, and what matters is where the trend is going.AI is massively accelerating coding (yesterday, I tried agentic-c ...