Positive Web3

The @aqua_token competition also featured a formal verification track powered by @certora Top contributors on the FV side: 🥇 @PositiveWeb3: $3,892.01 🥈 @alexzoid: $3,363.78 🥉 @BenRai_: $2,177.47 Thank you to everyone that participated. Full leaderboard up next.

Bugged Blockchain Challenge is LIVE! 🔥 A deliberately vulnerable blockchain awaits your hacking skills! Break into the node or wallet, and submit your top exploit report for a chance to win a massive 100 TON bounty! Full details at positive.com/bounties.

We’ve launched the ultimate hunt for bugs and hacker mastery — the epic CTF has begun at positive.com/ctf! On the menu: blazing challenges in EVM and TON security — plus one juicy Bug Bounty worth 100 TON!

Awesome equippable @RmrkApp NFTs for @phdays WEB3 CTF EVM and TON #web3 #ctf #evm #ton positive.com/ctf

Discover VSCode extension that brings clarity to TON smart contract research by visualizing function call graphs in FunC, Tact, and Tolk. We invite you to try it out and share your feedback. #TON @ton_society marketplace.visualstudio.com/items?itemName… github.com/PositiveSecuri…

@PositiveWeb3 just launched TON Graph VSCode extension that lets you visualize The Open Network (TON) code graphs right in your editor (FunC, Tact, Talk). Grab it now from the VSC Marketplace marketplace.visualstudio.com/items?itemName… #TON #VSCode #TONGraph #PositiveWeb3 #FunC #Tact #Tolk

My HUGE article Security of AI Agents in Web3: Architecture, Jailbreaks, Vulnerabilities of Modern LLMs, and Competitive Hacking medium.com/positiveweb3/s… #Web3Security #jailbreacks #AIAgent @teeception

🎉 Check out this mind-blowing longread on hacking #Web3 #AI agents. 🤖 Uncover the secrets of the digital frontier! blog.positive.com/security-of-ai… #PositiveWeb3

@justinsuntron Homie, Check this out :) github.com/PositiveSecuri…

Tron's Gas Free feature supporting USDT gas payments without the need for TRX will launch within the next week. Teams and wallets wishing to support this feature, please contact support@justlend.org. Keep Building!

Unleash security mode on your TON smart contracts! 🚀 Our cutting-edge research exposes deadly pitfalls & hidden hacks that can torch your tokens. Level up your blockchain game—read the ultimate guide now 👉 blog.positive.com/security-audit… #TON #SmartContracts #Blockchain

Updated (v2) TON audit guide with revamped security guidelines (carry-value pattern, replay protection, etc), improved messaging/gas management, clarified contract upgrades, and added FunC/Tact best practices. #TON #SmartContracts @ton_society github.com/PositiveSecuri…

🚀 Next-gen security for TON smart contracts! Meet our #AI-powered RAG agent, built on #ChatGPT. It helps audit, looks for vulnerabilities, and is built to strengthen Web3 security. Welcome to the future of security @ton_blockchain. chatgpt.com/g/g-677ef5283b…

New #Web3Security Conf 😎 🚀 Call for Papers is Open! 🎉 We pay for flight and lodging for speakers! Join us at Positive Hack Days 2025 – the biggest cybersecurity event! 📅 May 22-24, 2025 🔹 Hardcore #Web3 security talks 🔗 Submit your paper: cfp.phdays.com

Formal verification of #Solidity smart contracts in the #ConCert framework. blog.positive.com/formal-verific… #coq #web3 #web3security

Just launched 🚀ChatGPT assistant for detecting vulnerabilities in Solidity smart contracts using a 17-group point checklist! 🔍 Enhance your blockchain project security now. Check it out here: chatgpt.com/g/g-6736285ed2… #positivehacking #BlockchainSecurity #solidity

How We Trained an #LLM to Find Vulnerabilities in #Solidity Smart Contracts blog.positive.com/how-we-trained… By @VicRdev

What interesting #Web3 security conferences do you know of?

#ZKP audit checklist: github.com/PositiveSecuri…

#Tron projects #security #audit checklist github.com/PositiveSecuri…

Our web3 security expert @VicRdev has prepared a checklist for auditing tron projects