Coderrect Inc. dba Sec3

1/ Building on our collaboration with @ZeusNetworkHQ, we'll also be gearing up to dive into @ApolloByZeus' security https://lnkd.in/g69y_hDT 2/ Our audit will first be examining APOLLO's trustless 2-Way Peg (2WP) smart contracts, focusing on the 2WP program's computation and state management modules 3/ Transparency is key. We'll be sharing regular insights as we progress through @ApolloByZeus's codebase as well. Expect candid updates on our findings, potential vulnerabilities, and recommendations 4/ Curious about our @ZeusNetworkHQ audit kickoff? Catch up on the details here: https://lnkd.in/gy2QKChk

1/ We're excited to announce our audit kickoff with @ZeusNetworkHQ, who is developing the first permissionless communication layer for Solana <> Bitcoin! Their proactive approach in bringing us early in development demonstrates a commendable focus on security. Let's dive in 🔍 2/ Our initial focus: Zeus Program Library (ZPL), a pluggable and programmable layer on Solana. We're rigorously assessing its cross-chain operations, including transaction processing and verification across blockchains. Our goal: ensure ZPL's security and reliability 3/ Next, we'll explore the ZeusNodes, the infrastructure powering cross-chain communication. These light clients help to validate transactions and relay data. We're scrutinizing their consensus mechanism, data integrity protocols, and potential attack vectors across both chains 4/ @ZeusNetworkHQ has announced their commitment to transparency and building in public - which is why they've asked us to release regular updates as we progress through our assessment. Stay tuned for insights into our findings, recommendations, and ongoing audit process!

The profile below is not one of us, please be aware of potential scams.

We're extremely happy to have completed a a comprehensive audit of @uselulo (formerly Flexlend)'s smart contracts to help them with their mission of making DeFi Savings Accounts a reality for everyone🦉. You can find the audit report here: https://lnkd.in/gBdPgA5p

1/ Our team at Sec3 is uniquely positioned to help projects with Web3 AI Security 🦉🤖 🔐- let's just look at some of the highlights 👇👇 2/ Our CTO Dr. Zheng's @IBMResearch background shaped Sec3’s approach to AI-driven code vulnerability and optimization. He created the first SMT string solver, integral to Z3 - a leading tool for program analysis and verification 3/ A team led by CSO Dr. Xing specializes in OS/AI/Web3 security, boasting 60+ research papers, consistent DEFCON final appearances as well as Pwn2Own victories. Recently, they aced the prestigious SBFT fuzzing competition https://lnkd.in/gA__uu2Z 4/ In partnership with @solanafm and @SolanaFndn we helped to open source parsed historical data specifically for training LLM's https://lnkd.in/gAbwmmTk 5/ We were the first to develop an open source Large Language Model for Web3, ingesting millions of transactions! https://lnkd.in/gxAKcN4w 6/ Our real-time on chain monitoring system *Watchtower* has been powered by Machine Learning since day 1️⃣ https://lnkd.in/gGS-tXnT 7/ If you're building something at the intersection of Web3 🤝 AI, we'd love to chat on how we can help https://linktr.ee/sec3