Web3 News

Bug-Free Solidity Coding Agents

Video

Aave V4 spokes enable easy deployment of various lending markets, each with different collateral management, risk premiums, liquidations, per reserve risk configuration, and oracle integration, without having to manually manage liquidity. We show how to leverage agents to develop new secure spokes. The core idea is that the user provides an informal definition of correctness for these applications. Our agentic pipeline translates these informal definitions into a formal specification of the application’s safety properties/invariants. Once we have these formal specifications, we can Vibe-code the spoke implementation guardrail with the Certora Prover. The LLM cannot introduce bugs into our generated implementation because the Certora Prover will reject any potential implementation that does not satisfy the formal specification.

Speakers: Mooly Sagiv

Track: Security

Watch on YouTube ↗

Video Solana Short

Keep What You Subscribe to Private 🔐

Your subscriptions can say a lot about you. STYX Oracle is building privacy tools on Solana with subscription payments in mind. Rami explains the idea behind private subscriptions and a...

Video Coin Bureau Short

How 1 Signature Can Drain Your Entire Wallet

A wallet drainer needs only one signature, not your seed phrase. Malicious token approvals, permits, and collection-wide NFT permissions let attackers drain assets directly. When...

Video Solana Short

An Open Marketplace for AI Inference

Solana Request for Startups: Jacob Creech, VP Technology, Solana Foundation Developers want one interface for accessing AI models. But today’s inference platforms don’t necessarily let...

Video Solana Short

Security for the Agentic Age

Solana Request for Startups: Robert Chen, Founder, Ottersec AI is changing the security landscape, giving attackers new tools and raising the stakes for blockchain companies. A single...

Video Solana Short

An AI Financial Advisor in Your Wallet

Solana Request for Startups: Rishin Sharma, Head of AI, Solana Foundation Financial apps make it easy to move money, but managing it still takes work. You have to check your positions,...