@CertoraInc Avatar @CertoraInc Certora

Certora posts on X about defi, web3, uniswap, solana the most. They currently have [------] followers and [---] posts still getting attention that total [---------] engagements in the last [--] hours.

Engagements: [---------] #

Engagements Line Chart

Mentions: [--] #

Mentions Line Chart

Followers: [------] #

Followers Line Chart

CreatorRank: [-------] #

CreatorRank Line Chart

Social Influence

Social category influence cryptocurrencies finance events exchanges technology brands stocks travel destinations social networks countries vc firms

Social topic influence defi #1744, web3 #664, uniswap, solana, devcon, protocol, finance, chainlink, ethereum, openclaw

Top accounts mentioned or mentioned by @aave @certorainc @lidofinance @uniswap @sagivmooly @efdevcon @balancer @solana @stellarorg @eulerfinance @cantinaxyz @ethcc @electriccapital @silofinance @certora @aaves @etherfi @kamino @compoundfinance @aaveaave

Top assets mentioned Solana (SOL) Chainlink (LINK) Ethereum (ETH) Aave (AAVE) Kamino (KMNO) Coinbase Global Inc. (COIN) USDC (USDC) Celo (CELO) Layerzero (ZRO) Euler (EUL) Premia (PREMIA) zkSync (ZK) Sonic (S) tBTC (TBTC) Origin Dollar (OUSD) Origin Protocol (OGN)

Top Social Posts

Top posts by engagements in the last [--] hours

"Were proud to audit @compoundfinance https://medium.com/compound-finance/compound-v2-fe4b1fb62abb https://medium.com/compound-finance/compound-v2-fe4b1fb62abb"
X Link 2019-03-19T11:25Z [----] followers, [--] engagements

"Learn about tricky reentrancy issues automatically discovered by Certoras Prover as exposed (and already fixed) in @synthetix_ios Depot contract here: https://www.certora.com/blog/reentrancy.html https://www.certora.com/blog/reentrancy.html"
X Link 2020-04-16T15:22Z [----] followers, [--] engagements

"Pleased to see @Keep_project has fixed the #tBTC bug we disclosed https://github.com/keep-network/tbtc/pull/717 https://github.com/keep-network/tbtc/pull/717"
X Link 2020-08-04T15:10Z [----] followers, [--] engagements

"Another day another reentrancy bug -- this time $OUSD loses $7M. We can formally prove your smart contract has no reentrancy bugs https://www.youtube.com/watchv=IhOEgyD9r6U https://www.youtube.com/watchv=IhOEgyD9r6U"
X Link 2020-11-17T18:54Z [----] followers, [--] engagements

"@CertoraInc is hiring excellent Solidity devs with DeFi expertise to build the best formal verification tool on the market Our customer list reads like the whos who of DeFi @coinbase @compoundfinance @AaveAave @BalancerLabs @opyn_ @CeloOrg @OriginProtocol @SushiSwap"
X Link 2021-05-03T09:51Z [----] followers, [--] engagements

"1/ We raised a $36M series B round led by @jump_ with participation from @Tiger_Global @GalaxyDigitalHQ and existing series A investors: @ElectricCapital @hiFramework @coinfund_io @Lemniscap @coinbase @VMware and https://www.theblockcrypto.com/post/147066/certora-announces-36-million-series-b-funding-round-led-by-jump-crypto https://acapital.com/l https://www.theblockcrypto.com/post/147066/certora-announces-36-million-series-b-funding-round-led-by-jump-crypto https://acapital.com/l"
X Link 2022-05-17T14:02Z [----] followers, [---] engagements

"12/ It also demonstrates the value of security tools and specifications in the smart contract development process in addition to good design and software practices"
X Link 2022-07-12T13:32Z [----] followers, [--] engagements

"Certora is delighted to announce a new partnership with @MorphoLabs developing an on chain Peer-to-Peer layer on top of lending pools that increases capital efficiency. The team will use Certoras tool to offer optimal security to Morpho users 🧵👇"
X Link 2022-08-02T11:56Z [----] followers, [--] engagements

"What is Morpho Morpho is a Peer-to-Peer layer on top of lending pools like Compound. Rates are seamlessly improved for suppliers and borrowers while preserving the same liquidity and liquidation parameters. In short Morpho-Compound is an optimized gateway to Compound"
X Link 2022-08-02T11:56Z [----] followers, [--] engagements

"Formal verification can mathematically prove the correctness of code. However proofs may not mean what you think and lead to a false sense of confidence and premature deployment. Watch @KirsteinUris talk at @EFDevcon - Bad Proofs in Formal Verification https://youtu.be/U-4D7tWLNNo https://youtu.be/U-4D7tWLNNo"
X Link 2022-10-23T16:05Z [----] followers, [--] engagements

"2/ GMX currently lets you trade BTC ETH AVAX and other top cryptocurrencies with up to 50x leverage directly from your wallet"
X Link 2023-06-12T10:47Z [----] followers, [--] engagements

"1/ Were excited to announce the prizes for the @AaveAave Certora community verification contest of the static aToken After a month-long review a total of $40K is awarded to the participants via @AaveGrants - congratulations So what did we find 🧵"
X Link 2023-07-11T08:15Z [----] followers, [----] engagements

"2/ During the competition participants were looking for bugs and writing specifications for the static aToken using the Certora Prover. After three weeks [--] people submitted their specifications 🏆"
X Link 2023-07-11T08:14Z [----] followers, [---] engagements

"3/ The most significant issues out of the [--] submitted were acknowledged by @bgdlabs and fixes will be incorporated into the code base"
X Link 2023-07-11T08:15Z [----] followers, [---] engagements

"Certora is unleashing the might of Formal Verification on @solana 🚀 📣 Introducing a pioneering verifier tool for SBF programs a breakthrough in security 📣 In our debut blog of this series we dive deep into its core components"
X Link 2023-08-09T15:00Z [----] followers, 52.4K engagements

"September marks [--] months of incredible synergy with the @AaveAave community 🚀 Join us on a nostalgic ride through our journey where we'll spotlight the remarkable work we've accomplished together"
X Link 2023-09-12T18:09Z [----] followers, [----] engagements

"1/ Math libraries are at the heart of DeFi. Learn about arithmetic vulnerabilities in our recent blog post (including the recent PRB library math bug we found and how they can be uncovered with a 3-line equivalence spec"
X Link 2023-09-14T08:49Z [----] followers, [---] engagements

"Here's how you can participate in the Aave GHO token community audit: [--]. Register for a Prover key: [--]. Register for our kickoff meeting on Wednesday September [--] at 16:00 UTC: https://certora.zoom.us/meeting/register/tZUqc-uppjIuG9bvxTUpc3dNfA9B3d5lcOxY#/registration https://forms.gle/DHaw6w7K39oSCUkU6 Announcing a new community audit competition together with @AaveAave 👻 🏆 40k USDC in total prizes ✅ Find bugs via formal verification 📅 Starts Sept 27th Details & registration in our discord announcement: https://t.co/IXwSnsnkRX https://t.co/T5qP3KtW3X"
X Link 2023-09-26T15:26Z [----] followers, [----] engagements

"Our first tutorial challenge is now complete 500+ attempts [--] Prizes ($200/each) Congrats to: @_Czar102 @imsrybr0 @peritoflores Get ready for the next reward challenge by working through the tutorial.stay tuned for details 👀"
X Link 2023-10-02T17:38Z [----] followers, [----] engagements

"We are excited to announce a new partnership with @StellarOrg to help secure the @SorobanOfficial ecosystem. This initiative is the first time Certora will bring the power of automatic formal verification to a Rust/WASM-powered project. Here's why Soroban devs should care 👇"
X Link 2023-10-11T16:11Z [----] followers, 37.8K engagements

"We're proud to be bringing the power of Prover to the @StellarOrg & @SorobanOfficial ecosystem"
X Link 2023-10-11T16:15Z [----] followers, [---] engagements

"The @AaveAave GHO Token community audit has concluded 6700+ jobs run ⚡ 1600+ rules written 🤯 Winners will be announced when all submissions have been reviewed. Join our community on Discord to stay up-to-date on upcoming contests: https://discord.gg/certora https://discord.gg/certora"
X Link 2023-10-17T16:19Z [----] followers, [----] engagements

"⚡ New formal verification contest with @eBTCprotocol launching tomorrow on @code4rena $149725 total prize pool $30k for formal verification rewards 👀 Stay tuned for details"
X Link 2023-10-23T21:08Z [----] followers, [----] engagements

"Join us for an @aave & Certora meetup lunch in Istanbul 🍟 Light pub food 🍻 Drinks 🤓 Friends 🎤 Short security-focused talks by @The3D_ and @ChandrakanaNaN When: Thurs Nov 16th 11:30am-2pm Venue: Joker No.5 (close to main events)"
X Link 2023-11-13T14:09Z [----] followers, 14.2K engagements

"We had a blast with all the amazing builders at @ETHGlobal Congrats to the prize winners for best formal specification of a project: 🥇 GaslessPOAPs: $2500 🥈 SubMan: $1500 🥉 DeFi Omni Dapp: $1000"
X Link 2023-11-20T16:36Z [----] followers, [---] engagements

"We're happy to share our formal verification report for @GMX_IO V2. It was great working with such a highly technical and professional team throughout the review process. View our finding 👇"
X Link 2023-11-20T17:00Z [----] followers, 41.1K engagements

"Hey @aave token holders - it's time to vote Thanks to the Aave community for the valuable feedback and overwhelming support for ARFC Continuous Security Proposal Aave Certora. Snapshot vote:"
X Link 2023-12-09T07:00Z [----] followers, [----] engagements

"Our team has been dedicated to securing @aave with continuous & in-depth coverage for years. We've also had the privilege to work alongside so many skilled Aave community members to add extra layers of security. Read all about our journey together:"
X Link 2023-12-09T07:00Z [----] followers, [---] engagements

"Thanks to the @aaveaave community for the overwhelming support in the snapshot vote. 🥳 The proposal extends our coverage of the protocol and continues to secure Aave with in-depth formal verification and auditing services. We're preparing the on-chain proposal which we expect to go live in the next couple of days. Stay tuned for updates"
X Link 2023-12-12T17:33Z [----] followers, [---] engagements

"Use the same tools that help keep @aave @LidoFinance and @MakerDAO secure .for free 🤯 [--]. Get your free Prover key: [--]. Install & write your first formal verification rules:"
X Link 2023-12-18T19:22Z [----] followers, [---] engagements

"1/ Thank you @aave community for passing the Aave Certora security proposal ❤ Aave has been focused from the start on building a bullet-proof protocol & we're honored to support this vision with continuous security coverage. Here's what we're providing: 🧵👇"
X Link 2023-12-19T19:48Z [----] followers, [----] engagements

"2/ Continuous Formal Verification New code will be formally verified & manually reviewed. Spec rules are checked using Certora Prover & made public when code is released. Tests are integrated into Aaves CI system to continuously check changes added into the code"
X Link 2023-12-19T19:48Z [----] followers, [--] engagements

"3/ Governance Proposal Review Each proposals payload will be reviewed by the dedicated team. Certora will verify that it does what its supposed to do according to the description/AIP. Additionally Certora will also check that there are no unwanted effects on the codebase"
X Link 2023-12-19T19:48Z [----] followers, [--] engagements

"4/ Incident Investigation Support Services Certora's incident support team is available 24/7 for emergency cases. For each incident Certora writes a rule that confirms or rejects the existence of a bug uses it to test the validity of the fix & adds the new tests in the CI"
X Link 2023-12-19T19:48Z [----] followers, [---] engagements

"Listen to @SagivMooly describe the evolution of formal verification and why it is quickly becoming the new standard for securing smart contracts. Thank you @StellarOrg and @tomerweller for this interview. As of December [----] DeFi protocols have reached a total value of $50 billion in locked assets. See how @CertoraInc's formal verification technology is strengthening smart contracts. In this ep of Tech Talks with @tomerweller featuring @SagivMooly 🎧 https://t.co/kgDxdD3ybw As of December [----] DeFi protocols have reached a total value of $50 billion in locked assets. See how @CertoraInc's"
X Link 2023-12-22T01:25Z [----] followers, [---] engagements

"New year new Twitter personality. What do you want to see more of Product how-tos Security tips & tricks Gossip & hot takes Product how-tos Security tips & tricks Gossip & hot takes"
X Link 2024-01-04T16:34Z [----] followers, [---] engagements

"Join us for a Putt & Party happy hour at @EthereumDenver - Unlimited putt-putt golf - Free food & drinks - Friday March 1st 5-8pm Co-hosted with @AlchemixFi @SiloFinance @PremiaFinance and @RareEvo. [---] max attendees so register early https://lu.ma/18y985tz https://lu.ma/18y985tz"
X Link 2024-01-15T19:56Z [----] followers, [----] engagements

"It's not too late to compete for [-----] USDC 🔥 Join the @ionprotocol community audit on @HatsFinance starting Monday Jan [--]. Register: Get your free Prover key:"
X Link 2024-01-17T19:00Z [----] followers, [----] engagements

"2/ Supply integrity is the idea that the sum of all balances in an ERC20 must be equal to the contracts totalSupply. Although this is trivial for basic implementations of an ERC20 adding or changing functionality that breaks this invariant can compromise the protocols safety"
X Link 2024-01-24T14:51Z [----] followers, [---] engagements

"3/ A violation of supply integrity can lead to deflation or inflation of supply. A basic example of a buggy contract that would violate this property is the classic ERC20 transfer bug"
X Link 2024-01-24T14:51Z [----] followers, [---] engagements

"1/ We're happy to share our audit report for from @script3official Their team was exceptionally professional responded quickly & shared knowledge as our first @SorobanOfficial project. Some finding (all issues fixed): 👇🧵 https://www.certora.com/reports/blend http://blend.capital https://www.certora.com/reports/blend http://blend.capital"
X Link 2024-01-25T19:31Z [----] followers, 27.4K engagements

"1/ On Feb 16th [----] @Platypusdefi was exploited for $8.5M due to a drop in the protocol health factor. Let's dive into the description and risks of a health factor drop (unrelated to market movements). 🧵👇"
X Link 2024-02-19T16:45Z [----] followers, [----] engagements

"@Platypusdefi 2/ When opening a DeFi borrow position users provide collateral of higher value. If the collateral's value drops below a health factor the protocol deems the borrower at risk of being unable to repay the debt"
X Link 2024-02-19T16:46Z [----] followers, [---] engagements

"3/ Liquidation occurs when the protocol sells the collateral to close the borrow. Accounts may be liquidated if their health factor falls below the threshold"
X Link 2024-02-19T16:46Z [----] followers, [---] engagements

"4/ A drop in a position's health should only occur when the protocol loses assets when collateral depreciates in relation to the borrow. Any other scenario may result in a bug causing either an unfair liquidation or a lossy position for the protocol"
X Link 2024-02-19T16:48Z [----] followers, [---] engagements

"5/ Platypus Finance is an example of such a bug. The function emergencyWithdraw allowed users to withdraw collateral without repaying debt. The function didn't check the account's health after the withdrawal"
X Link 2024-02-19T16:48Z [----] followers, [---] engagements

"The energy is high at @EthereumDenver this year 🚀 Thank you to everyone for coming out to the Puttshack last night - over 2k registrations 🎉 @AlchemixFi @SiloFinance @PremiaFinance"
X Link 2024-03-02T16:33Z [----] followers, [----] engagements

"We've heard there could be a formal verification allocation for this contest. 👀 Get ready. $1250000 We're launching the largest audit competition in crypto history with @cantinaxyz. Details 🧵 https://t.co/RvfZRA4BMR $1250000 We're launching the largest audit competition in crypto history with @cantinaxyz. Details 🧵 https://t.co/RvfZRA4BMR"
X Link 2024-03-21T19:58Z [----] followers, [----] engagements

"We're happy to share the formal verification audit for @SeamlessFi the first native decentralized lending and borrowing protocol on the @base network. In the process our team found [--] critical bugs which were acknowledged and resolved. https://www.certora.com/reports/seamless https://www.certora.com/reports/seamless"
X Link 2024-04-09T16:08Z [----] followers, [---] engagements

"1/ Our comprehensive audit and formal verification for @TokenReactor Autopilot is now live Autopilot dynamically adjusts liquidity allocations boosting your portfolio's performance. Dive into all of our findings in the report: https://www.certora.com/reports/tokemak https://www.certora.com/reports/tokemak"
X Link 2024-04-10T19:12Z [----] followers, [----] engagements

"We've got another report for you Here is our formal verification audit for @CablesFinance who are bringing traditional fx rails to the DeFi ecosystem on @SorobanOfficial. See our findings and read the full report: https://www.certora.com/reports/cables https://www.certora.com/reports/cables"
X Link 2024-04-11T17:01Z [----] followers, 19.5K engagements

"We're excited to bring security to DAOs in the Aragon ecosystem We're thrilled to welcome [--] new DAO Experts to the family 🤝 Find the right service provider for your needs: audits tokenomics growth and more. Reach your goals faster with an expert by your side Here's our industry-leading lineup 🧵 https://t.co/JNtwP2za2Z We're thrilled to welcome [--] new DAO Experts to the family 🤝 Find the right service provider for your needs: audits tokenomics growth and more. Reach your goals faster with an expert by your side Here's our industry-leading lineup 🧵 https://t.co/JNtwP2za2Z"
X Link 2024-04-16T16:33Z [----] followers, [----] engagements

"How to get a headstart on upcoming community audit competitions 👀 [--] Get your FREE Prover key: [--] Take @CyfrinUpdraft's Formal Verification course [--] Follow FV community leaders for insights: https://updraft.cyfrin.io/courses/formal-verification https://www.certora.com/leaderboard https://www.certora.com/signup https://updraft.cyfrin.io/courses/formal-verification https://www.certora.com/leaderboard https://www.certora.com/signup"
X Link 2024-04-18T15:38Z [----] followers, [----] engagements

"We're hiring ✅ Security researchers ✅ Formal verification wizards ✅ Compiler developers ✅ DevRel ✅ Head of Product ✅ Account managers Join a global team building the future of DeFi security 🎉 https://www.certora.com/careers https://www.certora.com/careers"
X Link 2024-04-30T23:31Z [----] followers, [----] engagements

"We're less than a week away from @eulerfinance competition on @cantinaxyz $1.25M rewards up for grabs $100k for formal verification 🎉 Register to participate in the fv portion: Sign up for the HackerHaus for code walkthrough: https://lu.ma/pcoazefr https://www.certora.com/contests/euler https://lu.ma/pcoazefr https://www.certora.com/contests/euler"
X Link 2024-05-14T16:22Z [----] followers, [----] engagements

"Get ahead of the competition. Register for the Euler audit competition to receive getting started materials: - Installation & getting started video - @CyfrinUpdraft formal verification course - Free Prover key - In-depth tutorial Register now: https://www.certora.com/contests/euler https://www.certora.com/contests/euler"
X Link 2024-05-17T19:03Z [----] followers, 16.7K engagements

"🔴 Happening NOW Join us live for a formal verification walkthrough of @eulerfinance. Learn how to ace the audit competition on @cantinaxyz and grab your share of the $1.25M rewards including $100K for FV 💰 Tune in: Register: https://certora.com/contests/euler https://x.com/i/broadcasts/1YqKDgpaalVxV https://certora.com/contests/euler https://x.com/i/broadcasts/1YqKDgpaalVxV"
X Link 2024-05-23T11:46Z [----] followers, [---] engagements

"$100k reward will be distributed to participants in the formal verification part of the @eulerfinance competition. We have 100+ participants but still a very high ROI potential even if you are just learning. Rules: https://github.com/Certora/euler-vault-cantina-fv https://github.com/Certora/euler-vault-cantina-fv"
X Link 2024-05-23T18:08Z [----] followers, [----] engagements

"Excited to verify the next generation of Uniswap bringing new levels of efficiency to AMM design. 🚀 We complement top security firms by mathematically proving that the PoolManager will never lose the funds deposited by liquidity providers. 🔒💰 3/ 🔒 @CertoraInc: Certora provides industry-leading formal verification tools & smart contract audits. They are experts in security with 20% of their team holding PhDs. Certora is trusted by top DeFi protocols & they've secured billions in assets. 3/ 🔒 @CertoraInc: Certora provides industry-leading formal verification tools & smart contract audits."
X Link 2024-05-27T17:03Z [----] followers, [----] engagements

"Heading to @EthCC in Brussels Network and have some breakfast with security friends on Wednesday July 10th. Limited spaces available so please register early https://lu.ma/m5kzwa5g https://lu.ma/m5kzwa5g"
X Link 2024-06-11T16:55Z [----] followers, [---] engagements

"Congrats @beefyfinance for launching Cowcentrated Liquidity 🐮 We're proud to be a security partner with a team moo-ving the ecosystem forward in these exciting new directions Training Wheels Off - Unleashing CLM with LTIPP on Arbitrum Growth and development are hard. Sure rapid expansion is an exciting prospect and a cause for great pride in retrospect. But those actually on the path to real growth will know that its never easy. Things don't happen https://t.co/SxRAuy10tZ Training Wheels Off - Unleashing CLM with LTIPP on Arbitrum Growth and development are hard. Sure rapid expansion is an"
X Link 2024-06-12T16:40Z [----] followers, [----] engagements

"Say something about Certik"
X Link 2024-06-20T16:02Z [----] followers, [----] engagements

"Can't get away with anything when all your friends are auditors I get the feeling @CertoraInc got a new social media person and I have to say I highly respect the my best tweets are replies energy I get the feeling @CertoraInc got a new social media person and I have to say I highly respect the my best tweets are replies energy"
X Link 2024-06-21T15:30Z [----] followers, [----] engagements

"Drop your favorite EthCC side event 👇"
X Link 2024-07-03T20:53Z [----] followers, [----] engagements

"We're bringing the receipts🧾 Get ready for an epic dive into formal verification vs fuzzing @EthCC"
X Link 2024-07-05T15:51Z [----] followers, [----] engagements

"Come meet us a our booth at @EthCC and learn how use our amazing technology"
X Link 2024-07-10T10:20Z [----] followers, [----] engagements

"2/ Fuzzing is the process of automatically testing the code on many random inputs. Formal verification is the process of proving the mathematical correctness of the code"
X Link 2024-07-10T16:48Z [----] followers, [---] engagements

"3/ Web [--] fuzzers include Echidna by @trailofbits and Foundry by @paradigm. Formal Verification tools include Halmos by @a16z and the K framework by @rv_inc. Both technologies can find bugs and have a long history of academic research"
X Link 2024-07-10T16:48Z [----] followers, [---] engagements

"How do lending protocols like @aave @MorphoLabs @SiloFinance and @eulerfinance protect their smart contracts against unknown attacks 👀 Don't miss the alpha from @SagivMooly's talk at @EthCC 🎥 Watch: 📑 Slides: https://docs.google.com/presentation/d/1PtRb1YpeEBmwoema2gVe57ZjplqX1a2k5PidhmefDqY/ https://ethcc.io/archive/Preventing-Unknown-Attacks-in-DeFi https://docs.google.com/presentation/d/1PtRb1YpeEBmwoema2gVe57ZjplqX1a2k5PidhmefDqY/ https://ethcc.io/archive/Preventing-Unknown-Attacks-in-DeFi"
X Link 2024-07-21T15:33Z [----] followers, [----] engagements

"1/3 The largest ever formal verification contest with $100k prize pool was a success @eulerfinance's v2 code was formally verified by the community in partnership with @cantinaxyz The top earners from the $1.25 million Euler contest used formal verification. :)"
X Link 2024-07-29T15:03Z [----] followers, [----] engagements

"3/9 In your example you used Python for the equivalence test which aligns with our argument. More details here: https://github.com/Certora/fuzz-vs-fv-showdown/blob/master/README.md#results-for-prb-math https://github.com/Certora/fuzz-vs-fv-showdown/blob/master/README.md#results-for-prb-math"
X Link 2024-08-08T16:45Z [----] followers, [---] engagements

"4/9 We showed that you can still find this issue with an EVM Foundry fuzz test if you write it in a more sophisticated way. Watch @NuritDor explaining this at her @EthCC talk https://ethcc.io/archive/Formal-verification-vs-fuzzing-the-showdown https://ethcc.io/archive/Formal-verification-vs-fuzzing-the-showdown"
X Link 2024-08-08T16:45Z [----] followers, [---] engagements

"7/9 The first bug lies in line [---] where the assetOffset is only [--] bits long while the assetsIn is [--] bits long. This caused the system to ignore half of the collateral types. This bug is easy to find with a fuzzer as demonstrated in the repo. https://medium.com/certora/detecting-corner-cases-in-compound-v3-with-formal-specifications-b7abf137fb15 https://medium.com/certora/detecting-corner-cases-in-compound-v3-with-formal-specifications-b7abf137fb15"
X Link 2024-08-08T16:45Z [----] followers, [---] engagements

"8/9 However we were unable to find a second bug with fuzzing. This bug occurs when the bit vector is not set to zero after the account is liquidated. This is the commit of the fix: https://github.com/Certora/comet/commit/a371ae1199c216ac08dd9a88e50b7357af790387 https://github.com/Certora/comet/commit/a371ae1199c216ac08dd9a88e50b7357af790387"
X Link 2024-08-08T16:45Z [----] followers, [---] engagements

"The top DeFi teams understand the value of shift-left security. Euler continuously engaged with Certora as early as possible where we manually reviewed their code and formally verified properties such as the "holy grail" over [--] months. Securing Euler. Today we're sharing our multi-layer security approach developed and implemented over the past year. In this 🧵 you'll find some of the highlights. https://t.co/ogSpIwH2f9 Securing Euler. Today we're sharing our multi-layer security approach developed and implemented over the past year. In this 🧵 you'll find some of the highlights."
X Link 2024-08-13T16:35Z [----] followers, [----] engagements

"1/3 Were proud to be working with the @SolanaFndn to formally verify token extensions on Solana 🤝 We uncovered optimization opportunities leading to up to a 20% performance increase and revealed inconsistencies that other auditors missed 🕵♂ https://www.certora.com/blog/token-extensions-audit https://www.certora.com/blog/token-extensions-audit"
X Link 2024-08-14T17:30Z [----] followers, 119.4K engagements

"2 / [--] Formal verification is a powerful tool for program and smart contract security on Solana and EVM chains catching edge cases that other audits might miss and squashing issues before they get deployed into production 💥🐛"
X Link 2024-08-14T17:30Z [----] followers, [----] engagements

"3 / [--] Want to learn more about how we can help secure your project 🤔 [--] Join our Discord: [--] Read our intro series on formal verification on Solana: [--] Get your FREE Prover key: https://www.certora.com/signup https://www.certora.com/blog/sol-formal-verification https://discord.gg/certora https://www.certora.com/signup https://www.certora.com/blog/sol-formal-verification https://discord.gg/certora"
X Link 2024-08-14T17:30Z [----] followers, [----] engagements

"The largest web3 security competition in history now includes $100K exclusively for formal verification with Certora's Prover 🚀 @Uniswaps massive challenge starts September 4th. Ready to make your mark Stay tuned for details"
X Link 2024-08-19T17:16Z [----] followers, [----] engagements

"We are excited to have you by our side on our quest to make web3 a safer place 🚀 So personal update: Despus de ms de dos aos el viernes pasado fue mi ltimo da en POAP. Fue un camino de aprendizaje crecimiento y de momentos hermosos con un equipo sper talentoso y con una increble comunidad. Agradecida de haber sido parte de un proyecto con una So personal update: Despus de ms de dos aos el viernes pasado fue mi ltimo da en POAP. Fue un camino de aprendizaje crecimiento y de momentos hermosos con un equipo sper talentoso y con una increble comunidad. Agradecida de haber sido parte de un"
X Link 2024-08-22T15:19Z [----] followers, [----] engagements

"The Holy Grail property of the @eulerfinance vault is account health: no action within the lending protocol should make a user become unhealthy. Borrowers shouldn't be able to take on more debt than their collateral nor should others be able to affect their health. 2/19"
X Link 2024-08-22T19:00Z [----] followers, [---] engagements

"An account may become unhealthy due to price changes in assets or interest accumulation. However an unhealthy account shouldn't worsen its health e.g. by borrowing more than its collateral. 3/19"
X Link 2024-08-22T19:00Z [----] followers, [--] engagements

"The property is called "The Holy Grail" as its closely related to the vulnerability that allowed a sophisticated and complex attack on the Euler V1 system and could have prevented it. 4/19 https://www.coinbase.com/en-gb/blog/euler-compromise-investigation-part-1-the-exploit https://www.coinbase.com/en-gb/blog/euler-compromise-investigation-part-1-the-exploit"
X Link 2024-08-22T19:00Z [----] followers, [--] engagements

"If youre at the @Uniswap x @cantinaxyz hacker house in NY today come and say hi 👋 Our team is here ready to support contest participants. See you 🗽 Attention NYC Hackers The @UniswapFND @Uniswap Labs and @cantinaxyz teams are on the ground at the HackerHouse to provide support and answer questions for those participating in the competition HackerHouse schedule below. Competition Info: https://t.co/4HhcFbRrGv https://t.co/2dR5WhJ4sD 🗽 Attention NYC Hackers The @UniswapFND @Uniswap Labs and @cantinaxyz teams are on the ground at the HackerHouse to provide support and answer questions for"
X Link 2024-09-08T17:05Z [----] followers, [----] engagements

"We're live at @Uniswap's HackerHouse NYC Join us now to learn how to use the Prover and get a chance to compete in the $100K formal verification contest with @cantinaxyz. Don't miss outtune in here: https://x.com/i/broadcasts/1yNGaglmkYjxj https://x.com/i/broadcasts/1yNGaglmkYjxj"
X Link 2024-09-08T17:30Z [----] followers, [----] engagements

"You can't trust the compiler. How we discovered a bug in LLVM a tool used by thousands of projects and millions of users. 🧵👇"
X Link 2024-09-09T14:03Z [----] followers, 14.9K engagements

"A recent incident in an @aave deployment on @zksync demonstrated the impact of compiler bugs on code that is otherwise completely error free and which may not even appear depending on your optimization levels. https://governance.aave.com/t/bgd-aave-v3-zksync-activation-issue-report/18819 https://governance.aave.com/t/bgd-aave-v3-zksync-activation-issue-report/18819"
X Link 2024-09-09T14:03Z [----] followers, [----] engagements

"The root cause was a bug in @llvmorg a highly respected compiler that is used not only in web3 but also in web2 companies like Apple IBM Nvidia and more. Even the best tools can have subtle bugs that create hard-to-detect issues in your code"
X Link 2024-09-09T14:03Z [----] followers, [---] engagements

"The issue was buried deep within the UserConfigurationMap a crucial part of Aaves code that tracks whether a user is borrowing from or using a reserve as collateral. https://github.com/bgd-labs/aave-v3-origin/blob/feat/zksync-deployment/src/core/contracts/protocol/libraries/configuration/UserConfiguration.sol https://github.com/bgd-labs/aave-v3-origin/blob/feat/zksync-deployment/src/core/contracts/protocol/libraries/configuration/UserConfiguration.sol"
X Link 2024-09-09T14:03Z [----] followers, [---] engagements

"This map is a uint256 bitmask where each pair of bits represents the borrowing and collateral status of a specific reserve"
X Link 2024-09-09T14:03Z [----] followers, [---] engagements

"To investigate we analyzed the low-level bytecode provided by the ZKsolc compiler. Instead of diving straight into the complex Aave contract we created a smaller test contract to isolate the issue"
X Link 2024-09-09T14:03Z [----] followers, [---] engagements

"The lesson for anyone writing mission-critical code and especially code managing financial assets is clear: test verify and fuzz the executable code generated by the compiler. Even if your source code logic is flawless dont assume the compiler won't introduce errors"
X Link 2024-09-09T14:03Z [----] followers, [---] engagements

"🙌 Huge shoutout to @aave @bgdlabs and @the_matter_labs for their collaboration in addressing this. Together weve made the ecosystem stronger and more resilient"
X Link 2024-09-09T14:03Z [----] followers, [---] engagements

"Formal verification doesnt just catch bugs it ensures your code stays robust after fixes 🛡 Listen to Jochen Hoenicke and @hensha256 explain how we helped @Uniswap automatically recheck their code in V4. And if you want a deep dive into what we found check the thread 👇🧵"
X Link 2024-09-12T16:29Z [----] followers, [----] engagements

"We audited Uniswap v4 and used formal verification to find more bugs and prove their absence. Heres a summary of our findings:"
X Link 2024-09-12T16:29Z [----] followers, [---] engagements

"Hello Singapore Weve got a big week ahead at @token2049 and @SolanaConf Heres where you can catch our team in action 👇"
X Link 2024-09-16T01:36Z [----] followers, [----] engagements

"📆Sep 18: Were kicking off #Token2049 with a co-hosted lunch alongside @SquadsProtocol at Marina Bay. Join us for great bites meaningful connections and tons of networking opportunities https://lu.ma/ack12fmu https://lu.ma/ack12fmu"
X Link 2024-09-16T01:36Z [----] followers, [---] engagements

"The action continues on Sep 18-19 as we hit the @token2049 main venue. We'll be there meeting builders investors and innovators. 🤝"
X Link 2024-09-16T01:36Z [----] followers, [--] engagements

"📆Sep 20: Time to lace up 🏃♂ Well be co-hosting a 5K run/walk with @ElectricCapital. A perfect way to recharge before diving back into the conferences. https://x.com/CertoraInc/status/1831735960591061040 RSVP https://t.co/pJBJZreF77 https://x.com/CertoraInc/status/1831735960591061040 RSVP https://t.co/pJBJZreF77"
X Link 2024-09-16T01:36Z [----] followers, [---] engagements

"📆 Sep 21-22: Well be wrapping up the week strong at @SolanaConf. Panels discussions and all things @solana await. ☀"
X Link 2024-09-16T01:36Z [----] followers, [---] engagements

"Whether youre attending a keynote joining one of our side events or just exploring wed love to connect Shoot us a DM or catch us live. Lets build a safer web3 together 🫡"
X Link 2024-09-16T01:36Z [----] followers, [---] engagements

"Big thanks to everyone who joined the @ElectricCapital x Certora run this morning 🏃♀🏃♂ See you at the next one during @EFDevcon 😉"
X Link 2024-09-20T04:18Z [----] followers, [----] engagements

"How many of you consciously think of the risks compilers may introduce How many of you could debug a critical compiler error if needed Watch @johnadtoman explain how he discovered a bug in @llvmorg with potential critical sequences to @aave step by step Announcing the next DSS Monthly Webinar🔥 "How to diagnose a faulty compiler: the LLVM bug" on September 23th (next monday) With: John Toman ( @johnadtoman) Chief Scientist @Certora and Ernesto ( @eboadom) Co-founder of @bgdlabs Register https://t.co/CkCqGLk3sa https://t.co/xYGtEjmjQS Announcing the next DSS Monthly Webinar🔥 "How to diagnose"
X Link 2024-09-21T04:45Z [----] followers, [---] engagements

"@EFDevcon The nerdy ones here ✋🤓 Wed be thrilled to participate and lead a session on DeFi security discussing how we can collectively build a more secure and sustainable ecosystem"
X Link 2024-09-24T02:44Z [----] followers, [--] engagements

"Only [--] days left anon 🕸🐛 Uniswap v4 security competition ends Oct. 1st Submit your bugs by Tuesday 8am ET for a chance at the $2.35M prize pool 🦄 https://t.co/t2q43hofQZ Uniswap v4 security competition ends Oct. 1st Submit your bugs by Tuesday 8am ET for a chance at the $2.35M prize pool 🦄 https://t.co/t2q43hofQZ"
X Link 2024-09-27T15:55Z [----] followers, [---] engagements

"The @uniswap competition on @cantinaxyz ended today and we had the most formal verification participants ever. Were so back 🔥"
X Link 2024-10-01T19:58Z [----] followers, [----] engagements

"V3.2 introduces significant security and operational upgrades to @aave 🚀 Were proud to be part of the security team working to keep Aave at the forefront of the lending industry. Big kudos to BGD and everyone involved in making this possible 🙌 Aave v3.2 and Liquid eModes are almost ready to go Check out the latest update on the Aave governance forum 👻 https://t.co/3zKLKsF1wL Aave v3.2 and Liquid eModes are almost ready to go Check out the latest update on the Aave governance forum 👻 https://t.co/3zKLKsF1wL"
X Link 2024-10-01T21:32Z [----] followers, [---] engagements

"Building on DeFi Let's meet at Permissionless to discuss all things security 🛡 #BuildFastBreakNothing Excited to be attending @Permissionless this week DM me if youd like to chat about DeFi security and formal verification. Excited to be attending @Permissionless this week DM me if youd like to chat about DeFi security and formal verification"
X Link 2024-10-08T17:53Z [----] followers, [----] engagements

"Formal Verification Hangout at Devcon. Probably Nothing. Formal Verification Hangout - Informal discussions on the security and reliability of smart contracts and software systems - Allowing researchers and developers to connect. Formal Verification Hangout - Informal discussions on the security and reliability of smart contracts and software systems - Allowing researchers and developers to connect"
X Link 2024-10-09T19:55Z [----] followers, [---] engagements

"🚨 Attention @aave community 🚨 We have submitted an ARFC proposal to continue auditing @Aaves smart contracts as weve been doing since [----] starting with Aave V1. The initiative includes: 🔘A full-time team for audits & governance reviews 🔘24/7 incident response 🔘Introducing Safeguard a real-time monitoring tool to enhance security (free) Voting starts tomorrow October [--] and will be open for [--] hours. 🗳"
X Link 2024-10-11T13:37Z [----] followers, [----] engagements

"Were grateful for the strong support our recent proposal to continue auditing Aave has received from the community. So whats next 👇 🚨 Attention @aave community 🚨 We have submitted an ARFC proposal to continue auditing @Aaves smart contracts as weve been doing since [----] starting with Aave V1. The initiative includes: 🔘A full-time team for audits & governance reviews 🔘24/7 incident response 🔘 🚨 Attention @aave community 🚨 We have submitted an ARFC proposal to continue auditing @Aaves smart contracts as weve been doing since [----] starting with Aave V1. The initiative includes: 🔘A"
X Link 2024-10-15T15:06Z [----] followers, [---] engagements

"Hey @StellarOrg community If you're at #Meridian2024 and want to explore Sunbeam a tool for verifying Soroban smart contracts join our workshop tomorrow 🤌 📅 Thu Oct [--] 10:30 AM- 11:30 AMGMT +1 📍 Level [--] Blockchain Borough (Partner Stage) 🗣 @SagivMooly See you .@CertoraInc presents Sunbeam a tool for formal verification on #Stellar #Meridian2024 https://t.co/gdfTLtYFOk .@CertoraInc presents Sunbeam a tool for formal verification on #Stellar #Meridian2024 https://t.co/gdfTLtYFOk"
X Link 2024-10-16T19:19Z [----] followers, [----] engagements

"Sunbeam allows users to write correctness properties using a lightweight specification language embedded in Rust then verifies that the smart contract satisfies these properties. Instead of verifying the Rust source code directly Sunbeam compiles the Rust to WASM bytecode and confirms that the generated WASM adheres to the specified properties. This means it can verify code that will be deployed on the blockchain without needing to trust the Rust compiler"
X Link 2024-10-17T12:47Z 10.3K followers, [---] engagements

"Currently Sunbeam focuses on Soroban smart contracts within the @stellarorg blockchain. Our goal is to ensure high standards for smart contract verification in the Stellar ecosystem. Want to dive deeper and know more about how Sunbeam works Check out our latest blog post: https://www.certora.com/blog/formally-verifying-webassembly https://www.certora.com/blog/formally-verifying-webassembly"
X Link 2024-10-17T13:13Z 10.3K followers, [---] engagements

"Security plays a key role in the success of DeFi protocols. As one of the most complex lending platforms in web3 @aaves success depends to a large extent on preventing bugs and vulnerabilities. Since [----] Certora has been helping the protocol maintain high security standards through continuous formal verification. 🫡🛡 Were excited to announce that the renewal of Certoras services will soon be up for vote in the DAO. Take a look at our past work with Aave: 🧵"
X Link 2024-10-21T16:58Z [----] followers, [----] engagements

"🔘Our journey with @aave started in January [----] with the review of V1. [--] years later we started collaborating as an official DAO service provider. 🔘Since then we worked on [--] distinct projects featuring over [---] contracts. 🔘We independently reviewed [---] proposals raised across [--] different chains by [--] distinct entities between the beginning of Feb and today. An average of [--] proposals per month. 🔘So far Certora helped Aave prevent a total of [--] High severity [--] Medium severity and [--] Low severity issues"
X Link 2024-10-21T16:58Z [----] followers, [---] engagements

"If you're an @aave integrator make sure to follow these channels for all the latest updates 👇 Important information for all Aave integrators From now on we will be sharing announcements on Aave protocol technical upgrades proposed by BGD in the following channels: - Aave Community Discord: bgd-tech-updates channel (join the Aave community on https://t.co/zf6cqvPoPN) - Important information for all Aave integrators From now on we will be sharing announcements on Aave protocol technical upgrades proposed by BGD in the following channels: - Aave Community Discord: bgd-tech-updates channel (join"
X Link 2024-10-23T13:23Z 10.3K followers, [---] engagements

"Heading to Bangkok for @EFDevcon Weve lined up some security-focused events you wont want to miss. Check them out"
X Link 2024-10-24T15:08Z 10.3K followers, [----] engagements

"📅 Nov 7-9 We'll be joining @summit_defi the annual DeFi Security conference for education and technical advances in securing decentralized applications. Get your tickets https://defisecuritysummit.org/ https://defisecuritysummit.org/"
X Link 2024-10-24T15:08Z 10.3K followers, [---] engagements

"📅November 11th Weve put together a Happy Hour with @Balancer and @CoWSwap a chill spot to hang out meet new people and connect before Devcon. Come meet us https://lu.ma/si0syxlp https://lu.ma/si0syxlp"
X Link 2024-10-24T15:08Z 10.3K followers, [---] engagements

"📅November 12th (morning) Get moving with our Run/Walk event co-hosted with @ElectricCapital. Fresh air good vibes and some casual chats on code security. https://lu.ma/5vsjxplc https://lu.ma/5vsjxplc"
X Link 2024-10-24T15:08Z 10.3K followers, [---] engagements

"@mimicfi @EFDevcon See you in Bangkok Mimic friends 🐙"
X Link 2024-10-25T18:17Z 10.3K followers, [--] engagements

"Quorum reached with unanimous support Were looking forward to continuing our work on keeping @aave smart contracts secure 🫡 Security plays a key role in the success of DeFi protocols. As one of the most complex lending platforms in web3 @aaves success depends to a large extent on preventing bugs and vulnerabilities. Since [----] Certora has been helping the protocol maintain high security https://t.co/uxURiirf0d Security plays a key role in the success of DeFi protocols. As one of the most complex lending platforms in web3 @aaves success depends to a large extent on preventing bugs and"
X Link 2024-10-25T21:07Z 10.3K followers, [----] engagements

"Shoutout to Jito for this milestone and for being one of the first in the @solana ecosystem to embrace formal verification 🔥 @RenzoProtocol @KyrosFi @fragmetric 5/ The Jito (Re)staking deposit functionality has been audited by @CertoraInc and @osec_io with an ongoing internal review by Assymmetric Research. @RenzoProtocol @KyrosFi @fragmetric 5/ The Jito (Re)staking deposit functionality has been audited by @CertoraInc and @osec_io with an ongoing internal review by Assymmetric Research"
X Link 2024-10-29T13:32Z 10.3K followers, [----] engagements

"We promised more and theres more If you're into Security ZK or DeFi here are [--] more events were joining during @EFDevcon week: 📅 November [--] Join us at RareDay with @RareSkills_io and @monad_xyz for a full day of ZK and Security talks. 📅 November [--] Were hosting a Happy Hour with @ether_fi 🍻 Join the fun: LFG 🚀 https://lu.ma/7sznyelo https://lu.ma/8e61a3gh https://lu.ma/8e61a3gh More events to comestay tuned https://lu.ma/7sznyelo https://lu.ma/8e61a3gh https://lu.ma/8e61a3gh More events to comestay tuned"
X Link 2024-10-31T11:26Z 10.3K followers, [----] engagements

"Planning to attend @summit_defi this week 🎟 Weve got free tickets for Certora Contests participants If you joined any of our audit competitions this year drop us a DM to claim yours 📬"
X Link 2024-11-04T08:23Z [----] followers, [----] engagements

"Attention security experts and devs coming to DSS: Join us for a three-day Solidity competition at @summit_defi Write secure correct Solidity smart contracts and get rewarded 🙌 You can participate both IRL and online. Streaming link"
X Link 2024-11-07T03:53Z [----] followers, [----] engagements

"So great to finally meet the security folks youve only chatted with on Twitter until now right 🤝 Hope youre all enjoying @summit_defi as much as we are"
X Link 2024-11-08T06:36Z [----] followers, [----] engagements

"🛡 @summit_defi may be over but learning about security never stops. This week we're joining @EFDevcon's security track to share new ways to secure DeFi and strengthen smart contracts. Check the details"
X Link 2024-11-11T05:06Z [----] followers, [----] engagements

"📅 November 13: Dive into securing liquidity in AMMs. Well present our proof for Uniswap v4 showing that liquidity providers can always withdraw their funds even if theres a bank run"
X Link 2024-11-11T05:06Z [----] followers, [---] engagements

"🚨 Beware of scammers 🚨 Certora doesnt request NFTs at any of our events. If you see someone doing this its not us. Stick to our official channels for updates and stay safe"
X Link 2024-11-11T10:43Z [----] followers, [---] engagements

"🏃 Run 👩💻 Code 🐛🔍 Audit 🔄 Repeat Nothing like a little boost to kick off @EFDevcon. Huge thanks to everyone who joined us and @ElectricCapital for an epic morning run"
X Link 2024-11-12T03:21Z [----] followers, [----] engagements

"WTF is Formal Verification 🤔 Join us for a Discussion Corner tomorrow at @EFDevcon to dig into FV 🕛 Wed Nov [--] 12:00-13:30 📍 Discussion Corner [--] (Pink) Level [--] Bring your questions and share your experiences https://lu.ma/e4c6fodx https://lu.ma/e4c6fodx"
X Link 2024-11-12T15:58Z [----] followers, [----] engagements

"gm to everyone writing secure smart contracts"
X Link 2024-11-21T15:59Z [----] followers, [----] engagements

"Security is a marathon not a sprint. In the last quarter we've been working hard to keep the @aave ecosystem safe through code reviews formal verification and proactive security measures 🫡 🙌 [--] DAO proposals reviewed 🛡 [--] smart contracts analyzed 🔎 [--] projects reviewed Read the full report: https://governance.aave.com/t/certora-monthly-update/20038/2 https://governance.aave.com/t/certora-monthly-update/20038/2"
X Link 2024-12-03T15:56Z [----] followers, [----] engagements

"What a chad toly It's an honor working with you 🫡"
X Link 2024-12-04T16:59Z [----] followers, [---] engagements

"the first verified DEX on Solana probably nothing 😌 Manifest is now the first formally verified DEX on Solana This isn't just another DEX - its a formally verified open source public good CLOB/orderbook primitive. The future of on-chain trading & end of centralized exchange dominance is now. Here's what you need to know🧵 https://t.co/Yt3zJbxJpc Manifest is now the first formally verified DEX on Solana This isn't just another DEX - its a formally verified open source public good CLOB/orderbook primitive. The future of on-chain trading & end of centralized exchange dominance is now. Here's"
X Link 2024-12-04T19:32Z [----] followers, [----] engagements

"Proud to have worked with @Balancer to audit and formally verify v3. Now you can truly feel zen. 🧘♂ 11/ Balancer v3 has undergone thorough audits by renowned industry firms including @trailofbits @SpearbitDAO and @CertoraInc to ensure safety and reliability at every step. https://t.co/mLvdJkgDia 11/ Balancer v3 has undergone thorough audits by renowned industry firms including @trailofbits @SpearbitDAO and @CertoraInc to ensure safety and reliability at every step. https://t.co/mLvdJkgDia"
X Link 2024-12-11T19:45Z [----] followers, [---] engagements

"Thrilled to have contributed to the security of @SonicLabs Gateway alongside @OpenZeppelin and @Quantstamp. Check out the full report 🧵 #Sonic Gateway audits are complete reviewed and verified by security firms: ⚪ @OpenZeppelin 🔵 @Quantstamp 🟢 @CertoraInc Read the audits below 👇 https://t.co/JWZlrmhJI7 #Sonic Gateway audits are complete reviewed and verified by security firms: ⚪ @OpenZeppelin 🔵 @Quantstamp 🟢 @CertoraInc Read the audits below 👇 https://t.co/JWZlrmhJI7"
X Link 2024-12-17T19:53Z [----] followers, [---] engagements

"@SonicLabs Let's go 🔥"
X Link 2024-12-18T14:26Z [----] followers, [----] engagements

"A tricky edge case in @eigenlayers interaction with @ethereum's upcoming Electra upgrade almost slipped past the radar and even top-tier auditors missed it. Heres how it was caught by Certora and resolved 👇"
X Link 2024-12-19T17:14Z [----] followers, [----] engagements

"Happy to partner with @SonicLabs to secure Gateway 🌉 The Sonic Gateway has been successfully audited by top-tier security firms: ⚪ @OpenZeppelin 🔵 @Quantstamp 🟢 @CertoraInc https://t.co/DMjukj2UnD The Sonic Gateway has been successfully audited by top-tier security firms: ⚪ @OpenZeppelin 🔵 @Quantstamp 🟢 @CertoraInc https://t.co/DMjukj2UnD"
X Link 2024-12-25T14:11Z [----] followers, [----] engagements

"🦄 @Uniswap v4 is coming with game-changing features: hooks flash accounting & tools for automated liquidity strategies. But how secure is it 🤔 We explored its threat model potential vulnerabilities and security mechanisms to protect DeFi users. Read more"
X Link 2025-01-08T17:40Z [----] followers, [----] engagements

"Were proud to have collaborated with @symbioticfi to secure their code ahead of mainnet launch 🤝 Through our audit and formal verification we identified [--] issues that have been addressed leading to key improvements for the protocol's next stage. Read more on our blog"
X Link 2025-01-10T15:49Z [----] followers, 13.6K engagements

"New year new contests 🎉 Help secure @SiloFinance v2 contracts in this new competition starting today on @cantinaxyz and get rewarded 🤑 💰 Total prize pool: $250000 USDC 🏆 Formal verification pool: $100000 USDC 📅 Jan [--] - Feb [--] More details below"
X Link 2025-01-13T18:57Z [----] followers, [----] engagements

"🦄 @Uniswap has set a new standard in DeFi security with its thorough audits of v4. In this thread well explore complex bugs identified during the audits along with how these issues were resolved. Lets dive in 🧵👇"
X Link 2025-01-20T19:29Z [----] followers, [----] engagements

"🪲Double Counting of Deposits on @Celo This issue allowed both native and ERC-20 CELO tokens to be credited separately despite being the same asset. The result A potential exploit enabling attackers to withdraw funds twice. The fix Uniswap refined the sync and settle functions to ensure accurate token tracking and eliminate bugs"
X Link 2025-01-20T19:29Z [----] followers, [---] engagements

"@LiquityProtocol @chain_security @chaos_labs @coinspect @dedaub @HatsFinance @getreconxyz 🫡🛡"
X Link 2025-01-23T20:16Z [----] followers, [--] engagements

"So proud to have contributed to bringing a formally verified Liquity V2 into the world 🫡 V2 would not have been possible without rigorous audits and simulations. 🙏 Liquity AG has worked with the following firms to ensure the mission-critical standard Liquity is known for: @CertoraInc @chain_security @chaos_labs @coinspect @dedaub @HatsFinance @getreconxyz V2 would not have been possible without rigorous audits and simulations. 🙏 Liquity AG has worked with the following firms to ensure the mission-critical standard Liquity is known for: @CertoraInc @chain_security @chaos_labs @coinspect"
X Link 2025-01-23T20:21Z [----] followers, [---] engagements

"Introducing Quorum: A game-changer for DAO governance security. An open-source tool that automates verification detects risks and ensures proposals execute as intended. Built for DAOs inspired by @Aaves Seatbelt. Learn more👇"
X Link 2025-01-30T17:43Z [----] followers, [----] engagements

"The @ionicmoney exploit on @modenetwork is yet another reminder of why protocols need robust well-structured security processes. A great example is @aaves Onion Security strategy which includes multiple defense layers including security processes enforced by top teams like @bgdlabs Certora @chaoslabs @karpatkey @Token_Logic and @AaveChan"
X Link 2025-02-05T19:16Z [----] followers, [----] engagements

"🔐 Writing Secure Uniswap v4 Hooks For teams building on @Uniswap v4 heres how to avoid critical risks"
X Link 2025-02-07T15:50Z [----] followers, [----] engagements

"Thanks to everyone who joined the Certora + @ElectricCapital run this morning at @EthereumDenver Where should we do the next one"
X Link 2025-02-28T20:10Z [----] followers, [----] engagements

"@tayloraymeric @ElectricCapital @EthereumDenver Yeah Well definitely run at @EthCC"
X Link 2025-02-28T23:07Z [----] followers, [--] engagements

"Finding bugs before writing code can save you millions 💰 @tomer_ganor will dive into @LidoFinance new Dual Govarnance design review exploring critical issues we found before the code was even written. Join us tomorrow 📆 Mar [--] 12:30 PM 📍 BUIDLSquad Stage @ethereumdenver More details 👇"
X Link 2025-03-01T01:02Z [----] followers, [----] engagements

"We had a great time at @EthereumDenver and we are back more inspired than ever. Quorum v1.1 is here 🙌 New features improved usability and a great contribution from @PatrickAlphaC Heres whats new 👇🏻 https://github.com/Certora/Quorum https://github.com/Certora/Quorum"
X Link 2025-03-05T13:26Z [----] followers, [----] engagements

"🦄 @ocandocrypto kicked things off sharing what the @UniswapFND role is all about and how theyre supporting the builder community"
X Link 2025-03-28T20:06Z [----] followers, [--] engagements

"Then @sebaleoperez took us through the @Uniswap story from v1 all the way to v4"
X Link 2025-03-28T20:06Z [----] followers, [--] engagements

"🛡 @fiorescan from Certora introduced the Uniswap Security Fund key support for those building Uniswap v4 hooks"
X Link 2025-03-28T20:06Z [----] followers, [--] engagements

"🏅 And @worthalter from @poapxyz wrapped up the night by sharing how POAPs are being minted on @unichain"
X Link 2025-03-28T20:06Z [----] followers, [---] engagements

"Thanks @crecimientoar for hosting us and to the Buenos Aires dev community for the vibes ✨ See you soon in @EFDevcon"
X Link 2025-03-28T20:06Z [----] followers, [---] engagements

"We have been working with Balancer since [----] and consider them one of the most innovative and security-conscious DeFi protocols. We stand with their team and are genuinely shocked by this unfounded decision. Delisted Not distracted. Balancer stays focused shipping V3: modular capital efficient & flexible AMM technology for DeFi. Listings dont define us what we ship does. We dont follow narratives. We build them. Focus ship repeat. 🫡 https://t.co/sj6v4E0umI Delisted Not distracted. Balancer stays focused shipping V3: modular capital efficient & flexible AMM technology for DeFi. Listings dont"
X Link 2025-04-08T20:21Z [----] followers, [----] engagements

"Congrats to @GlowFinanceXYZ on the launch Glow has built a unique lending protocol allowing for under-collateralized borrowing via leverage swaps. Glow ensures that users' accounts stay healthy after such swaps enabling high capital efficiency and keeping the system's funds secure. A key focus of our audit of V1 was the interaction of the main margin program with external adapters that allow connecting Glow to other DeFi protocols in Solana in a composable fashion. Ready to glow on @Solana. Full report 👇 1/ Your size is now size. Undercollateralized lending on Solana. more leverage more"
X Link 2025-04-23T13:17Z [----] followers, [----] engagements

"We're thrilled to support the SVM Summit led by the incredible @solayer_labs team 🫡 Join us in NYC on May 21st to connect build and scale. Excited to welcome @CertoraInc as the Platinum Sponsor of SVM Summit. Certora protects DeFi with smart contract audits formal verification and protocol design reviews. 📍 Join us in NYC on May 21: https://t.co/bZvPfyEt3W https://t.co/VQf27tzdvb Excited to welcome @CertoraInc as the Platinum Sponsor of SVM Summit. Certora protects DeFi with smart contract audits formal verification and protocol design reviews. 📍 Join us in NYC on May 21:"
X Link 2025-04-30T18:37Z [----] followers, [---] engagements

"@feibendeyu @solayer_labs 🤜🤛"
X Link 2025-04-30T18:37Z [----] followers, [--] engagements

"Weve had an incredible time in Istanbul for @SolanaCrossroad Next stop: NYC for @SolanaConf and the SVM Summit by @solayer_labs 🚀 Will you be there anon 👀"
X Link 2025-05-12T14:24Z [----] followers, [----] engagements

"Join us IRL or online at the SVM Summit by @solayer_labs Link to livestream below https://t.co/w5cQDsf36H https://t.co/w5cQDsf36H"
X Link 2025-05-21T20:15Z [----] followers, [----] engagements

"The final report for the @SiloFinance v2 formal verification contest is now public Thank you to all participants and congratulations to the top [--] 🏆👏 @Zerocipher002 @0xArion @benrai_ @_alexxander @alexzoid_eth The community verified hundreds of properties of Silo v2. Learn more 👇"
X Link 2025-06-17T14:17Z [----] followers, [----] engagements

"YES Audits audits audits 📰 Were excited to be the headlining auditor for a headlining DeFi protocol: Lido a key pillar of the ecosystem. 🫡 Lido V3 introduces powerful new tools: Staking Vaults (stVaults) and the Vault Hub that enable more flexible staking options. Institutions can run their own validators advanced stakers can leverage stETH loops and each vault is isolated to limit risk. This isnt Certoras first rodeo with Lido. We previously reviewed the Lido V2 upgrade and led the design review for their Dual Governance implementation. Now Certora is hardening the V3 protocol against bugs"
X Link 2025-06-17T21:29Z [----] followers, [----] engagements

"@LidoFinance 🤝"
X Link 2025-06-17T22:08Z [----] followers, [---] engagements

"Attention @EthCC attendees 🏃♂🌊 Join us for our signature Certora 5K Run & Walk in beautiful Cannes Whether you're a runner or a walker everyones welcome. 📅 July 3rd 🕐 Morning start 💥 Register now https://lu.ma/Certora5KRun-EthCC https://lu.ma/Certora5KRun-EthCC"
X Link 2025-06-24T20:20Z [----] followers, [----] engagements

"DeFi Summer Day by @aave is just around the corner If youre attending come chat about all things security with the Certora team and join our panel to learn how to make DeFi robust and resilient. See you 👇 https://lu.ma/defisummer Code is Law. What if it's wrong Learning how to make DeFi resilient through security with @SagivMooly @zkBri @Sh4har and @Montyly. https://t.co/TYDrYx5h1i https://lu.ma/defisummer Code is Law. What if it's wrong Learning how to make DeFi resilient through security with @SagivMooly @zkBri @Sh4har and @Montyly. https://t.co/TYDrYx5h1i"
X Link 2025-06-30T18:18Z [----] followers, [---] engagements

"gm from DeFi Summer Day 🌞"
X Link 2025-07-01T14:18Z [----] followers, [----] engagements

"Interested in DeFi security and new research Tomorrow at @EthCC Certora is sharing insights on: 🔘 How formal verification can help validate AI-generated smart contracts 🔘 Hands-on formal verification with the Certora Prover 🔘 Security risks in restaking protocols 🔘 Finding rare bugs with bounded model checking Details below 👇"
X Link 2025-07-01T14:35Z [----] followers, [---] engagements

"🎙 Securing AI-Assisted DeFi Development with Formal Verification AI tools can generate or optimize smart contracts but often introduce subtle bugs. Certora founder @SagivMooly explains how formal verification can validate AI output catch edge cases and guide models toward safer code. 📍 Redford Stage 🗓 Wed July [--] 14:35 - 14:55 https://ethcc.io/agendadate=2025-07-02&talk=securing-ai-assisted-defi-development-with-formal-verification https://ethcc.io/agendadate=2025-07-02&talk=securing-ai-assisted-defi-development-with-formal-verification"
X Link 2025-07-01T14:35Z [----] followers, [----] engagements

"@hilalayddn @doodles @chippedsocial @matchaxyz @francescoswiss @LayerZero_Core @zerion @boundless_xyz @tezos @EthCC Nice recap thanks Hilal See you soon 💚"
X Link 2025-07-04T14:55Z [----] followers, [--] engagements

"If the topic is DeFi Security and the convos getting spicy count on us 🫡 Thanks @aave for having us @ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol The day started with a spicy panel on security with @SagivMooly @zkBri @Sh4har and @Montyly. https://t.co/TZO2mg3wRC @ethena_labs @EtherFi @build_on_bob @zksync @kernel_dao @chainlink @FireblocksHQ @SkyEcosystem @lifiprotocol The day started with a spicy panel on security with @SagivMooly @zkBri @Sh4har and @Montyly. https://t.co/TZO2mg3wRC"
X Link 2025-07-21T22:20Z [----] followers, [----] engagements

"🗳 Calling all @compgovernance voters @chain_security and Certora are excited for the opportunity to secure Compound for one year after being selected by the Compound Foundation. We would love to get your vote: https://snapshot.comp.vote/#/proposal/0x29f34f6cae855cb2605b81d490db7a13565be448a72b5f7a3d121db4b1a0cc49 https://www.comp.xyz/t/compound-foundations-security-service-provider-recommendation/7047 https://snapshot.comp.vote/#/proposal/0x29f34f6cae855cb2605b81d490db7a13565be448a72b5f7a3d121db4b1a0cc49 https://www.comp.xyz/t/compound-foundations-security-service-provider-recommendation/7047"
X Link 2025-07-30T14:52Z [----] followers, [----] engagements

"4 Fewer states with trap values Try to write code such that there are fewer states with trap values. Design your data types in a way that makes it impossible to have illegal states"
X Link 2025-08-08T15:19Z 10K followers, [---] engagements

"5 Separate core logic from effects Separate the core smart contract logic from effectful operations I/O and events. This makes it easier to verify the critical logic"
X Link 2025-08-08T15:19Z 10K followers, [---] engagements

"Curious how open-source formal verification is making Ethereum stronger Join @SagivMooly today at Ethereum NYC to find out 👇 Chapter 1: Ethereum R&D Frontier @SagivMooly strengthens Ethereum with 'Hardening Ethereums Security Stack with Formal Verification.' Mooly Sagiv (CEO at @CertoraInc Chair of Software Systems at Tel Aviv University) https://t.co/1vCjP99ECH Chapter 1: Ethereum R&D Frontier @SagivMooly strengthens Ethereum with 'Hardening Ethereums Security Stack with Formal Verification.' Mooly Sagiv (CEO at @CertoraInc Chair of Software Systems at Tel Aviv University)"
X Link 2025-08-13T11:55Z 10.1K followers, [----] engagements

"This case isnt unique. Attackers often go for the easiest path: - An open RDP port nobody noticed - An unprotected subdomain - A compromised insider"
X Link 2025-08-20T17:15Z 10.2K followers, [--] engagements

"Thats why operational security cant just be about tech. People and processes are just as critical and theyre often the softest targets. One proven approach to reduce risk: Zero Trust Architecture"
X Link 2025-08-20T17:15Z 10.2K followers, [--] engagements

"The principles: - Dont assume someone is safe just because theyre inside your systems - Limit every role to the minimum access it needs - If one account is compromised the damage should be contained"
X Link 2025-08-20T17:15Z 10.2K followers, [--] engagements

"Another key element of Zero Trust is data classification: tagging and protecting sensitive fields so theyre only visible to the right roles. With this in place even if credentials are stolen attackers cant freely browse high-value data"
X Link 2025-08-20T17:15Z 10.2K followers, [--] engagements

"For DeFi builders: If we want TradFi adoption we cant just secure the protocol. We need to apply the same rigor to people permissions and processes. Its the difference between looking secure and actually being secure"
X Link 2025-08-20T17:15Z 10.2K followers, [---] engagements

"In our new report we break down this incident explain Zero Trust in depth and share practical steps to protect sensitive data through operational security. Full post here 👉 https://www.certora.com/blog/the-shift-to-zero-trust https://www.certora.com/blog/the-shift-to-zero-trust"
X Link 2025-08-20T17:15Z 10.2K followers, [---] engagements

"Adopting a malicious mindset helps builders think in non-traditional ways about software and security. It prepares you for what can go wrong how things can be broken and how to prevent that. See you soon at Meridian Rio 🙌 Code Securely. Think Maliciously. 🔒 Your Rust skills will prevent many bugs but they won't stop a determined attacker's logic exploits. On Sept 17th at Meridian Rio learn to anticipate smart contract vulnerabilities before you deploy with @CertoraInc and @rv_inc . https://t.co/BJa8IPilL7 Code Securely. Think Maliciously. 🔒 Your Rust skills will prevent many bugs but they"
X Link 2025-08-21T17:24Z 10.2K followers, [---] engagements

"🚨 NPM supply chain attack 🚨 Today hackers compromised a package maintainers account via a phishing email injecting malware into popular NPM packages with 2.6B+ weekly downloads. After taking control the threat actors updated the packages and injected malicious code acting as a browser-based interceptor that can hijack network traffic and application APIs. The malware intercepts browser-based crypto transactions rewriting wallet destinations to attacker-controlled addresses. Despite the scale of the breach the attacker seems to have only stolen a few dollars. Still its a clear reminder that"
X Link 2025-09-08T22:51Z 10.2K followers, [----] engagements

"How to build vulnerability-free Soroban smart contracts @ChandrakanaNaN will be joining Meridian this month to share practical guidelines for writing Soroban smart contracts on @Stellar using a verification-first approach. See you soon in Rio 🍹 https://meridian.stellar.org/agenda https://meridian.stellar.org/agenda"
X Link 2025-09-09T19:13Z 10.2K followers, [---] engagements

"✈ Excited to be in BA and meet the DeFi + Security folks in town. gm gm 🌞 The wait is over: DSS [----] tickets are LIVE 🎟🥳 Heres how to grab yours 🧵👇 https://t.co/R6LMH5TEJn gm gm 🌞 The wait is over: DSS [----] tickets are LIVE 🎟🥳 Heres how to grab yours 🧵👇 https://t.co/R6LMH5TEJn"
X Link 2025-09-12T19:12Z 10.2K followers, [---] engagements

"AIs role in smart contracts is clear: supporting developers to build safer code. @SagivMooly shared this vision on stage at @StellarOrg Meridian"
X Link 2025-09-17T17:51Z 10.3K followers, [----] engagements

"gMeridian The @StellarOrg ecosystem keeps growing fast 🤯 This week we've joined Meridian the annual Stellar event to keep supporting Soroban devs in building safer smart contracts 🫡🧵"
X Link 2025-09-17T18:09Z 10.3K followers, [---] engagements

".@SagivMooly shared guidelines for writing Soroban smart contracts with a verification-first mindset"
X Link 2025-09-17T18:09Z 10.3K followers, [---] engagements

"If you're at Meridian come say hi 👋 Our team is looking forward to connecting with you"
X Link 2025-09-17T18:09Z 10.3K followers, [---] engagements

"gm Bulgaria Had a great time at @ETHSofiaBG sharing insights on securing a protocol across its lifecycle from design to deployment. .@xb0g0 on the Open Stage now https://t.co/OnIycQj2KE .@xb0g0 on the Open Stage now https://t.co/OnIycQj2KE"
X Link 2025-09-25T18:35Z 10.4K followers, [---] engagements

"Dont follow the hype follow the talent. Were putting our energy into the best researchers in the business. Go Bulgaria 💪 @ETHSofia web3 security Twitter lately: Company A B C: Our AI tool outperforms all the bad security companies on the market Pashov shows up at ETH Bulgaria in a Lamborghini Certora onboarded the nation of Bulgaria to do audits for them crazy time to be alive web3 security Twitter lately: Company A B C: Our AI tool outperforms all the bad security companies on the market Pashov shows up at ETH Bulgaria in a Lamborghini Certora onboarded the nation of Bulgaria to do audits"
X Link 2025-09-25T20:25Z 10.4K followers, [----] engagements

"5/ The following code mistakenly allows the minting of double the amount of pool tokens"
X Link 2024-01-31T16:28Z 10.6K followers, [---] engagements

"6/ A more complex example of a solvency bug is the Popsicle Finance exploit in [----] where wrong accounting of LP tokens led to draining the protocol https://rekt.news/popsicle-rekt/ https://rekt.news/popsicle-rekt/"
X Link 2024-01-31T16:28Z 10.6K followers, [---] engagements

"The largest DeFi security contest has begun Time to shine researchers 🔒👩💻 Its time. The @uniswap @uniswapfnd history-making $2.35M competition on @cantinaxyz has just begun 🪐 Who's going to be the researcher to make it into the record books 💰 $2350000 USDC 📅 Sept 6th - Oct 1st 🔗Link below https://t.co/yIa88Cl7X5 Its time. The @uniswap @uniswapfnd history-making $2.35M competition on @cantinaxyz has just begun 🪐 Who's going to be the researcher to make it into the record books 💰 $2350000 USDC 📅 Sept 6th - Oct 1st 🔗Link below https://t.co/yIa88Cl7X5"
X Link 2024-09-06T14:15Z 10.5K followers, [----] engagements

Limited data mode. Full metrics available with subscription: lunarcrush.com/pricing