Anneallab

@Anneallab got mentioned here for our @colosseum submission and @mango_ even ranked us 2nd on his personal DeFi list! Boooolish!!!

I spent the past 3 hours working with @colosseum's Copilot, but WHY? To review all 2,858 projects and let Copilot decide the Top 10. Here are the results, and I bet they’re nothing like what you expect 👇 #1: Mosaic 🇹🇷 > Why? The only proof-system-agnostic ZK verifier on Solana L1, supports Groth16, PLONK, Halo2, STARKs, and folding schemes in one API. Concrete engineering: Groth16 at 84K CU. Every other ZK project in this hackathon becomes easier if Mosaic exists. #2: SAK / @techies_hub_frU 🇮🇪 > Why? Simulates every AI agent transaction in LiteSVM against 2,010 rules before it ever gets signed, a pre-sign kill switch. This is the correct safety architecture for autonomous agents handling real money, and no one else in 2,858 projects built it. #3: AgentTrust / @agenttrustlabs 🇮🇳 > Why? Formally verified with Kani (6 invariants), already composing with live Quantu programs on mainnet, and ships an MCP server, meaning it plugs natively into Claude's tool-use ecosystem. Formal verification in a hackathon project is exceptionally rare. #4: Anneal / @Anneallab 🇸🇬 > Why? Private OTC options negotiated by AI agents, with ZK-sealed bids settling on Solana in ~10 seconds. The only 6-person team in the top 10, targeting an uncrowded niche (private DeFi, crowd score 270 vs 325 for generic AI agents). #5: OBLIQ / @0xgunaseelan 🇮🇳 > Why? The team claims 450M+ sponsored transactions, 29M users, and $12B cross-chain volume from a prior product, the strongest real-world execution signal in the entire dataset. Gasless cross-chain onboarding solves a friction point every Solana dApp faces. #6: Veritas 🇮🇳 > Why? AI agents stake SOL as collateral, generate ZK proofs of policy compliance per action, and get slashed automatically on violations, no human needed. Staking-based accountability is the right economic design; no other project in the list got this far. #7: Keymint 🇮🇳 > Why? Wraps any HTTP API as an x402 endpoint, charging agents per request in USDC with an on-chain audit PDA. Same wienerlabs team as Mosaic, two complementary primitives (ZK verification + API monetization) from one high-quality team. #8: Chord / @ChordOracle 🇮🇪 > Why? Lets a Solana smart contract trigger any Web2 API, OpenAI, Stripe, Slack, Salesforce, in a single line of code, abstracting the entire custom oracle stack. It's the cleanest solution to the "smart contracts can't call the internet" problem in the dataset. #9: Herald Protocol / @useheraldmail 🇳🇬 > Why? Delivers DeFi notifications (liquidations, order fills, governance) via email/Telegram/SMS without exposing wallet identity on-chain, using AWS Nitro Enclaves and ZK compressed delivery receipts. Every protocol needs alerting; nobody else solved the privacy half of it. #10: WorkChain / @AdityaChot15838 🇮🇳 Why? USDC escrow that unlocks automatically when an AI verifier confirms the work is done,no human approval, no disputes. The thesis is sharp and timed perfectly: as AI agents do real work, payment rails that verify agent output become essential infrastructure. What do you think of these Copilot choices?

And here's how @Anneallab works! The first Private Agentic OTC options on @solana

@Anneallab also made the submission to Frontier Hackathon (Singapore Track) by @SuperteamSG !

A few people asked why we called it Anneal The name is from physics: simulated annealing is how a system finds its most stable state, basically you heat it up, let it explore, then cool it down toward the optimum. It's how nature solves hard problems. That's precisely what our agents do. Buyer and writer agents probe a price space, exchange counters, and settle into the lowest premium the market will bear. The system anneals toward fair price. My research trained me to think about uncertainty, probabilities, and systems under constraints. DeFi showed me where that thinking is badly needed. Anneal is the answer I wanted to exist. Private OTC options, negotiated by agents, settled on @solana The name @Anneallab is a promise: the system finds the right price, every time.

Just submitted RootLens to Frontier @colosseum Film your day. Train robots. Get paid. A camera app that turns household tasks into licensed AI training data, with rights and revenue managed on-chain. Pitch → loom.com/share/f1057ab2… This isn't the finish line. We're just getting started. @SuperteamJapan @sol_hack3rs @easya_app @solana

Anneal: Private RFQ for non-fungible options on Solana. One concentrated position. The competing agents. Bounded rounds. One cleared contract. Week 1-2 build for @colosseum Frontier. Here's our trailer 👇👇👇 #Solana #Colosseum #BuildInPublic

Options are the trillion-dollar instrument crypto never figured out. We finally cracked it. Our @colosseum submission from @Anneallab , the private OTC options on @solana , negotiated by AI agents. Full pitch below 👇👇👇👇👇 We are in active conversation with @orogoldapp to be their options layer, opening the door to institutional RWA, and in communication with @googlecloud to back the build with us. None of this would exist without @29988122 , @xcatherinechen , @zyz_here , @haorui117 , @drtingtinghow shipping alongside me. Anneal is still a young team, still hungry. And we got here because @superteam curates the best builders on Solana. @SuperteamSG specifically bet on us early with resources and conviction most teams at our stage never see. Agents negotiate. Privacy protects. Humans approve. Solana settles. Bullish on Anneal becoming the DeFAI primitive on @solana.

Welcome to @Anneallab #colosseum #solana #superteam

@Anneallab is a market for pricing risk between agents, @HackBetter is a market for pricing hackathon outcomes!