Certora @CertoraInc
Industry-leading formal verification tools & smart contract audits. certora.com Joined February 2019-
Tweets1K
-
Followers7K
-
Following286
-
Likes1K
100 @cantinaxyz invite codes?! 🤯 Yes, it's real. First 100 to register for the $100k formal verification part of the $1.25M @eulerfinance contest get a code. ✨ Retweet this tweet for bonus points. It's that simple. certora.com/contests/euler
Audit competitions have changed the game: 💰 researchers get paid 🛡️ protocols get new layer of security Adding formal verification takes it to next level: 💰💰 more ways for researchers to earn 🛡️🛡️ sustained & thorough coverage for protocols certora.com/blog/community…
We are honored to be working with @CertoraInc on a formal verification and audit of our smart contracts! 🔐 The highest level of security when it comes to smart contracts is called formal verification, and Certora with @SagivMooly are the best in the world.
We are honored to be working with @CertoraInc on a formal verification and audit of our smart contracts! 🔐 The highest level of security when it comes to smart contracts is called formal verification, and Certora with @SagivMooly are the best in the world.
@CertoraInc @CyfrinUpdraft I think only about 1% or people who start updraft get to the formal verification section. Do you want to be one of the 1% best in web3?
How to get a headstart on upcoming community audit competitions 👀 1️⃣ Get your FREE Prover key: certora.com/signup 2️⃣ Take @CyfrinUpdraft's Formal Verification course! 3️⃣ Follow FV community leaders for insights: certora.com/leaderboard updraft.cyfrin.io/courses/formal…
Coming soon…@eulerfinance’s audit competition on @cantinaxyz. $100k of the total prize money is being allocated to formal verification managed by our portco @CertoraInc.
Coming soon…@eulerfinance’s audit competition on @cantinaxyz. $100k of the total prize money is being allocated to formal verification managed by our portco @CertoraInc.
We're excited to bring security to DAOs in the Aragon ecosystem!
We're excited to bring security to DAOs in the Aragon ecosystem!
Why this does not happens on Aave: 5 verifications for each proposal: @Rozengarden_eth or I write an AIP We review each other Then 2 @bgdlabs devs review and merge Lastly @CertoraInc does a last review. Human make mistakes, pro teams mitigate that risk with a safety culture.
Why this does not happens on Aave: 5 verifications for each proposal: @Rozengarden_eth or I write an AIP We review each other Then 2 @bgdlabs devs review and merge Lastly @CertoraInc does a last review. Human make mistakes, pro teams mitigate that risk with a safety culture.
Another audit for some new features we launched with @StellarOrg @SorobanOfficial ! 🏁 Verified and ready to trade!
Another audit for some new features we launched with @StellarOrg @SorobanOfficial ! 🏁 Verified and ready to trade!
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: certora.com/reports/cables
Tokemak is proud to announce the completion of @CertoraInc’s audit and formal verification of Autopilot. Check out the report here: certora.com/reports/tokemak
Tokemak is proud to announce the completion of @CertoraInc’s audit and formal verification of Autopilot. Check out the report here: certora.com/reports/tokemak https://t.co/9Aha8Yu8tG
sudo rm -rf --no-pres.. @pcaversaccio
16K Followers 374 Following 𝐖𝐨𝐫𝐤𝐢𝐧𝐠 𝐨𝐧 𝐰𝐡𝐚𝐭'𝐬 𝐧𝐞𝐱𝐭. ꟼGꟼ: 063E 966C 93AB 4356 492F E032 7C3B 4B4B 7725 111FPatrick Collins @PatrickAlphaC
84K Followers 4K Following Co-founder of 🛡️@cyfrinaudits | 🟪 @soloditofficial | 🦅 @codehawks | 🎓 @cyfrinupdraft Building the Web3 we promised.Immunefi @immunefi
44K Followers 640 Following The leading bug bounty platform for blockchain with the world's largest bug bounties. More than $95m paid out to whitehats and $156m in rewards available.Andy Li @andyfeili
7K Followers 273 Following Finding bugs in Smart Contracts 🔎 | Podcast Host 🎙️ | Security Engineer @sigp_io σ'Mudit Gupta @Mudit__Gupta
64K Followers 1K Following CISO @0xPolygon labs | Tech @Deltabc_fund | Blockchain Security Researcher | Ethereum & Web3 dev | Advisor & Angel Investor | Opinions are my own 🦇🔊Joran Honig @joranhonig
6K Followers 1K Following Security Researcher 👨💻 | Professional Bug Bounty Hunter | Resider on the @immunefi leaderboard | Building things @ConsensysAuditsgmhacker.eth @realgmhacker
4K Followers 460 Following aerospace engineer 🚀 Head of Security @immunefi 🪲 Teaching Advanced Solidity at @RareSkills_io 😎 views are my ownjoseph.eth @josephdelong
71K Followers 1K Following CTO @AstariaXYZ, Former CTO https://t.co/joGhjflDCs🍣, Former @ethereum Core Dev @ConsenSys Follow me on Warpcast https://t.co/G281F0po3iTarun Chitra @tarunchitra
60K Followers 5K Following ヽ(⌐■_■)ノ♪♬ @gauntlet_xyz/@robotventures/@aerafinance/@thelatestindefi/@_choppingblock/@zeroknowledgefm // main: @guilleangerispatrickd @patrickd_de
4K Followers 679 Following Information Security, Privacy, and Freedom under God. Security Researcher @SpearbitDAO, @VentralDigital. Mentor @TheSecureum.csanuragjain @csanuragjain
2K Followers 364 Following Web 3 Auditor - 15th rank - Code4rena All time Leaderboard - Within top 30 rank Immunefi - Security Researcher at @SpearbitDAO DM for Private AuditParth @defilearner1
2K Followers 4K Following Smart contract developer with focus on security. On-chain degen. DMs opendcbuilder.eth ⚪️ @DCbuild3r
34K Followers 3K Following 22. 🇨🇿🇨🇺. math. Ethereum. ZKML. Rust. @worldcoinfnd. accelerating @worldcoin. angeling in friends. Hopeful about humanity.🦇🔊🦀🛡George Hunter @GeorgeHNTR
7K Followers 209 Following Founder @HunterBlockSec | Reach out for smart contract security audit inquiries at https://t.co/Mu3ZxENgT1Roman @romanboehr
2K Followers 3K Following Building & breaking stuff on the blockchain. Prev. data engineering / backend dev, data science MSc @ETH. Trail running in the alps when not staring at a screenAdrian ⛩️ Hetman .. @adrianhetman
6K Followers 2K Following Lead of Triage @immunefi 🛡️⚔️ Crypto bug swatter 🐛🔨 Web3 enthusiast 💻 Hobbies: spreading security awareness & brewing coffee ☕️ F1🏎️ | Lunarpunk 🌒 | 📸Santiago Palladino @smpalladino
11K Followers 955 Following 🇦🇷 Engineer at @aztecnetwork. Councilmember at @graphprotocol. Formerly @OpenZeppelin @manastech.SI1ver 🔺️ @808_Silver_
248 Followers 1K FollowingXalt @Xaltcoins
2K Followers 2K Following seek memetic enlightenment #HarryPotterObamaSonic10Inu(ticker:$BITCOIN) @RealHPOS10I 🧙🙋🏾♂️🦔🔟🐕 #Dogebonk @Dogebonk_ETH-Pedro @manopedroooo
193 Followers 2K FollowingMrCrowNFT @MrCrowNFT
5 Followers 86 Followinghuikkk @huikkk14
2 Followers 41 FollowingSCRL @scrl_io
1K Followers 750 Following 🇹🇭 SCRL - Blockchain & Web3 Smart Contract Audit Firm, KYC, Investigation, CEO: @chinnakit_jit Request: https://t.co/HRL2gKks9J More than 40+ audit reportMahdi Shirmohammadzad.. @Drbitone
11 Followers 79 FollowingTom @itdoesnotread
94 Followers 202 FollowingAyrastr Crypto @blessingin76611
22 Followers 278 Following Hey!! don't forget to follow me after viewing me 💕 Airdrop|Mining|NEWBIE|5. fig in airdropYasir Arfat @Yasir3795
22 Followers 329 Followingสุวิชา �.. @s111s_888
1 Followers 2 FollowingNOUREDDIN BENKAROUCHE @NOUREDDINE1996B
48 Followers 566 FollowingB @BornToBeHighF
86 Followers 539 FollowingLok666 @lok666_6
60 Followers 132 FollowingHongru Xu @Cyptobra
33 Followers 149 Followingpat @pat_sibi
3K Followers 2K Following advisor | biz angel | ex quant trader | technophile | mathematician | blockchain 🇦🇹🇩🇪🇨🇭 | @defactor_ @digitalsocialid @GoraNetworkSavvy_Outsider_Capita.. @OutsiderTrades_
118 Followers 303 Followingsdz @00sdz00
49 Followers 900 FollowingMournDrop @MournDrop
114 Followers 2K Following Humble airdrop farmer documenting my journey and posting tips along the way. $MONIvan Ivanov @xxx4596
54 Followers 91 Followingmichalminarcik.eth �.. @michalminarcik
102 Followers 364 FollowingFederico Meinardo @fedemeinardo
3K Followers 2K Following Semiófilo | DeepDreamer | #AI + #blockchain | The future is decentralizedrobbsbro69.btc.plena .. @robbsbro369
172 Followers 1K FollowingElliot plexus @ElliotPlexus
58 Followers 177 FollowingMarcos Maramaldo | ma.. @marcosmaramaldo
1K Followers 2K Following Falo de liberdade, #bitcoin, tecnologia, economia e geopolítica. • Às vezes escrevo. 👇🏼Drynooo @drynooo
10 Followers 108 Following Web3 Security Researcher. 2023 Codehawks No.13. on the way. . .Aifos Si Prahs @AifosSi
55 Followers 649 FollowingAa @Aa16465440
68 Followers 941 Followingsamczsun @samczsun
143K Followers 203 Following hunter @paradigm, powered by @openai. art by @Keiseeaaa,@vincywp. reach out via telegram https://t.co/1IDOUbRX6vGeorgios Konstantopou.. @gakonst
108K Followers 2K Following very greek accent. cto & research partner @paradigm. optimist and rustacean 🦀 // team lead of reth, foundry, alloy. join us.sudo rm -rf --no-pres.. @pcaversaccio
16K Followers 374 Following 𝐖𝐨𝐫𝐤𝐢𝐧𝐠 𝐨𝐧 𝐰𝐡𝐚𝐭'𝐬 𝐧𝐞𝐱𝐭. ꟼGꟼ: 063E 966C 93AB 4356 492F E032 7C3B 4B4B 7725 111FCode4rena @code4rena
30K Followers 394 Following Web3 security, on demand. ‣ $20M+ in rewards paid ‣ 1200+ High Severity vulns found ‣ Start your audit in 48 hrs: https://t.co/tD4F3jaqFmPatrick Collins @PatrickAlphaC
84K Followers 4K Following Co-founder of 🛡️@cyfrinaudits | 🟪 @soloditofficial | 🦅 @codehawks | 🎓 @cyfrinupdraft Building the Web3 we promised.Immunefi @immunefi
44K Followers 640 Following The leading bug bounty platform for blockchain with the world's largest bug bounties. More than $95m paid out to whitehats and $156m in rewards available.devtooligan (independ.. @devtooligan
8K Followers 420 Following blocksec🧐 buidlr💻 makr🤖 ascii artiste🎨 chief pharmacist @huff_language💊 🌱GROWTH GRINDSET⚙️Mudit Gupta @Mudit__Gupta
64K Followers 1K Following CISO @0xPolygon labs | Tech @Deltabc_fund | Blockchain Security Researcher | Ethereum & Web3 dev | Advisor & Angel Investor | Opinions are my own 🦇🔊@bytes032.xyz @bytes032
16K Followers 863 Following IYKYK @code4rena, 1/4 of @RenascenceLabs | Connecting you with 100's security providers for free @FindAuditPaul Razvan Berg @PaulRBerg
17K Followers 1K Following Co-founder @Sablier. Interested in crypto, longevity, physics, and epistemology.Joran Honig @joranhonig
6K Followers 1K Following Security Researcher 👨💻 | Professional Bug Bounty Hunter | Resider on the @immunefi leaderboard | Building things @ConsensysAuditsSunSec @1nf0s3cpt
11K Followers 793 Following CISO @xrexinc | Co-Founder @UnitasProtocol | Founder of DeFiHackLabs Web3 Security Community.gmhacker.eth @realgmhacker
4K Followers 460 Following aerospace engineer 🚀 Head of Security @immunefi 🪲 Teaching Advanced Solidity at @RareSkills_io 😎 views are my ownpatrickd @patrickd_de
4K Followers 679 Following Information Security, Privacy, and Freedom under God. Security Researcher @SpearbitDAO, @VentralDigital. Mentor @TheSecureum.libevm @libevm
18K Followers 2K Following @crypticwoods_ | dev-rel @0xMantle | professional retard @alfalfacapitalJustin Bram @JustinCBram
14K Followers 717 Following co-founder & ceo @AstariaXYZ ||| one of the lads at @0xSteadyLadsether.fi @ether_fi
132K Followers 311 Following Liquid restaking on Ethereum. Stake now at https://t.co/9NGiDhGND2 to earn etherfi points and EigenLayer points. Deploy into DeFi at https://t.co/ku3eJLsh3uAragon 🦅 @AragonProject
104K Followers 229 Following Build better, together. Launch your organization onchain on the most user-friendly tech stack for DAOs: https://t.co/GFEdCST6SB | https://t.co/cnZnUPfmY6Casey Taylor @casatay
4K Followers 1K Following Partner to business leaders and community builders. Now @dragonfly_xyz. Prev @dcgco @fcubedvc @nytechalliance. Doula in my downtime.Hudson Jameson @hudsonjameson
53K Followers 3K Following I enjoy my cats, privacy tech, & ice cream. Now: VP @ Polygon Labs Previous: USAA, Ethereum Foundation, Flashbots, Zcash Grants Poly/Bi 🏳️🌈Soliditors @soliditors
289 Followers 17 Following The French-speaking Web3 security community ⛓️🛡️🇫🇷Solodit 🟪 @SoloditOfficial
7K Followers 27 Following The ultimate vulnerabilities aggregator, used by top Web3 security auditors Explore reports, findings, and bugs from previous audits Powered by @CyfrinAuditsRare Evo: A Blockchai.. @RareEvo
9K Followers 4K Following Buy Tickets Now! - https://t.co/vKmDs0mNGR - Join us for more info: https://t.co/TARMQNACIF - Book a Meeting: https://t.co/I0BWYjiLwwAlchemix @AlchemixFi
73K Followers 32 Following Empowering you with Self-Repaying, interest-free, and non-liquidating loans | Unlock the potential of your Assets | Join Discord: https://t.co/f1dYGqkNBqRandCorp #RareEvo24 @RandCorp_eth
5K Followers 4K Following Blockchain investor. DeFi interests me. Co-founder @rareevo. Poker player, real estate owner, and trouble makerSecurity Alliance @_SEAL_Org
6K Followers 72 Following Securing the future of crypto | Cover art by @yueko__Alluvial @alluvialfinance
3K Followers 401 Following Building the trusted and secure liquid staking standard: @liquid_colBΞrnd @berndartmueller
3K Followers 1K Following I hunt bugs on-chain Lead Auditor @SecurityOak, SR @SpearbitDAO, https://t.co/LWCkCaqoY7 🏅Judge @Code4rena | DM for auditscmichel @cmichelio
10K Followers 2K Following blockchain dev & security 🥇 @code4rena 🏹🐛 @SpearbitDAO 🖊️ blog @ https://t.co/fEaA2KSHxD DM for auditLiquid Collective @liquid_col
5K Followers 334 Following The trusted and secure liquid staking standard 🌊 Stake ETH to mint LsETHCyLab @CyLab
10K Followers 2K Following CyLab is @CarnegieMellon's Security & Privacy Institute. Our 300+ researchers are passionate about creating a world in which technology can be trusted.Cyfrin Audits @CyfrinAudits
8K Followers 3 Following Securing the blockchain and its users. Industy-leading smart contract audits, tools, and education. Powering @codehawks | @soloditofficial | @cyfrinupdraftKoolex @KoolexC
2K Followers 232 Following Web3 SR | Warden & Judge at @code4rena. Check my findings at https://t.co/SW3b4GWtg40xpoolboy @0xpoolboy
21 Followers 77 FollowingJunnon @JuliusRaynaldi
155 Followers 172 Following Security Auditor at code4rena. https://t.co/Z1Aj3ZyTyljuliettech @_juliettech
6K Followers 6K Following 👩🏻💻 building something new | co-founder @surge_women, prev head of devrel @cyfrinaudits @aragonproject. kb4, angel.Ajna @ajnafi
7K Followers 92 Following Ajna is a peer to pool, oracleless, permissionless lending protocol with no governance, accepting both fungible and non fungible tokens as collateral.Term Labs @term_labs
13K Followers 8 Following Pioneering fixed rate auctions in crypto. Scalable. No spread, No slippage, Low fees. Follow @term_finance for auction results.Kinto @KintoXYZ
16K Followers 43 Following The safety-first L2 for Finance. Join Engen: https://t.co/Pa2xZffGFo Join the community: https://t.co/E89v7JQls0┻┳ TOKEMAK @TokenReactor
35K Followers 249 Following Generating sustainable liquidity for the tokenized world. Join our Discord https://t.co/g0kXelsIdR | https://t.co/C0MnA43sao | tunes: https://t.co/qVuTUDcu4wDELV (formerly Elemen.. @delv_tech
29K Followers 19 Following New protocols for new markets • Join https://t.co/qoN4IDKTN0Astaria @AstariaXYZ
13K Followers 14 Following Mission: instant liquidity for any on-chain asset. Borrow or lend any ERC-20 and ERC-721 (NFT) using intents. Live on @base and @MODEnetworkSuperfluid @Superfluid_HQ
35K Followers 601 Following Superfluid is a revolutionary asset streaming protocol that enables real-time crypto transfers, utilized by DAOs, web3 businesses, and DeFi games worldwide.Vijay @0xVijayReddy
289 Followers 230 Following Smart contract auditor | Block 5 fellow @yAcademyDAO | Independent Security Researcher @code4rena | @sherlockdefiIon Protocol @ionprotocol
6K Followers 5 Following The lending platform for staked and restaked assets Solvency based underwriting Zero price-based liquidations **There is NO official Telegram chatalexzoid @alexzoid_eth
203 Followers 248 Following Top @CertoraInc leaderboard | Formal Verification with @neumoXX | DMs open for inquiriesETHPrague @EthPrague
5K Followers 154 Following Conference & Hackathon 🗓 May 31 - June 2, 2024 💬 https://t.co/2EUBfCfEi6Nascent Security @NascentSecurity
547 Followers 4 Following Building for a more secure crypto ecosystem @nascentxyzETHGlobal @ETHGlobal
79K Followers 1K Following We help builders bring the vision of Ethereum to life. ⏭️ Next up: ETHGlobal Sydney! 🇦🇺 Join us there: https://t.co/486uz8LI9mEtherscan @etherscan
128K Followers 76 Following Providing equitable access to human readable blockchain data.Ankr @ankr
235K Followers 370 Following Build web3 apps with a full suite of developer tools. Power them with fast, global, decentralized connections to dozens of chains https://t.co/EEiwIpJfHdConvex Finance @ConvexFinance
55K Followers 98 Following Boosted Curve staking, Frax, f(x), and Prisma staking!! Maximize your yields! Discord: https://t.co/x6GAkDeMLISummer.fi ☀ (former.. @summerfinance_
16K Followers 232 Following Borrow, Multiply and Earn on the assets you hold across multiple protocols. DeFi made simple and secure. https://t.co/x7aLPCpg2z https://t.co/63WQgJcR2GdYdX @dYdX
240K Followers 44 Following dYdX Chain is the world's leading Perpetuals DEX. Fully decentralized. Community governed. 100% of protocol fees distributed to $DYDX stakers. Not avail in USChainlink @chainlink
1.2M Followers 0 Following Chainlink is the decentralized computing platform powering the verifiable web.Orbiter Finance 🛸 @Orbiter_Finance
630K Followers 173 Following 🛸 Orbiter Finance is a ZK-tech-based instant omni rollup on Ethereum, delivering secure, efficient, and decentralized data communication services."Formal Verification (FV) contests offer a measurable and effective approach to increasing code security by combining the depth of formal verification with the breadth of the community." Read more 👇
Audit competitions have changed the game: 💰 researchers get paid 🛡️ protocols get new layer of security Adding formal verification takes it to next level: 💰💰 more ways for researchers to earn 🛡️🛡️ sustained & thorough coverage for protocols certora.com/blog/community…
Crowdsoucing formal specifications adds an extra layer on security around DeFi protocols. Thanks to community auditing platforms like @cantinaxyz , @code4rena , @CodeHawks , @HatsFinance , @immunefi, and @sherlockdefi for supporting this.
Audit competitions have changed the game: 💰 researchers get paid 🛡️ protocols get new layer of security Adding formal verification takes it to next level: 💰💰 more ways for researchers to earn 🛡️🛡️ sustained & thorough coverage for protocols certora.com/blog/community…
@DU09BTC @RenzoProtocol @eigenlayer Ser, none of those are our users. @ether_fi is different because: 1. Supported withdrawals from day 1 2. Handled $200M in withdrawals over a few days after our TGE with no depeg 3. Trades at 99.99% peg consistently 4. Deep on-chain liquidity with $50-100M swaps possible with…
That’s quite the large amount of codes 👀 As the @eulerfinance competition approaches - make sure you have access to the Cantina researchers 🪐
100 @cantinaxyz invite codes?! 🤯 Yes, it's real. First 100 to register for the $100k formal verification part of the $1.25M @eulerfinance contest get a code. ✨ Retweet this tweet for bonus points. It's that simple. certora.com/contests/euler
@0xkarmacoma @0xnirlin @rpranav @Move__jay @wgrieskamp @jpark_apt @CertoraInc Dealing with memory aliases is a big issue for scaling formal verification. Rust and Move restrict aliases, and the Certora Prover recovers disjoint memory regions using an iterative algorithm that infers invariants about memory use.
We are honored to be working with @CertoraInc on a formal verification and audit of our smart contracts! 🔐 The highest level of security when it comes to smart contracts is called formal verification, and Certora with @SagivMooly are the best in the world.
Learn about the top DeFi protocols given by the smartest people in the field.
@PatrickAlphaC @CertoraInc @CyfrinUpdraft Wen @CertoraInc fv contest on @CodeHawks ?
@CertoraInc @CyfrinUpdraft I think only about 1% or people who start updraft get to the formal verification section. Do you want to be one of the 1% best in web3?
The State of DAO Security starts in 30 minutes, at 3pm UTC! We’ll be chatting with @CyfrinAudits and @CertoraInc on security best practices for DAOs 🔐 Join us: x.com/i/spaces/1voxw…
The Universal Rewards Distributor has been formally verified using @CertoraInc ✅ The process verifies that Merkle trees are well-formed and the rewards distributor is correct, where claimed rewards correspond exactly to the rewards contained in the associated Merkle tree 🧵
Security above all! Great to see @CablesFinance tap on @CertoraInc via the Soroban Audit Bank. We are committed to setting high standards for smart contract security.
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: certora.com/reports/cables
Coming soon…@eulerfinance’s audit competition on @cantinaxyz. $100k of the total prize money is being allocated to formal verification managed by our portco @CertoraInc.
Are you ready for @eulerfinance's ✨$1.25M✨ audit competition on @cantinaxyz? We're thrilled to announce that $100k of the total pot is being allocated to formal verification managed by @CertoraInc 🔥
@CertoraInc: Industry-leading formal verification tools & smart contract audits Prove that your code works with mathematical certainty using their formal verification tools. They also audit technical governance proposals for major DeFi DAOs. aragon.org/experts/certora
We're thrilled to welcome 11 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 🧵
First top 3 result @code4rena for our team “Shield” ✨⚔️ big shoutout to these chads @0xA5DF @BowTiedDravee @Udsen3 🫡🫡🫡 amazing experience to audit with them & learn from them & and good learning’s from the @taikoxyz codebase
Why this does not happens on Aave: 5 verifications for each proposal: @Rozengarden_eth or I write an AIP We review each other Then 2 @bgdlabs devs review and merge Lastly @CertoraInc does a last review. Human make mistakes, pro teams mitigate that risk with a safety culture.
Random Aave fork on Blast decreased Liquidation Threshold (LT) instead of Loan to Value (LTV) causing $26M worth of unnecessary liquidations. Fundamental problem with forking code is the lack of in-depth knowledge of the software and the parameters.
Another audit for some new features we launched with @StellarOrg @SorobanOfficial ! 🏁 Verified and ready to trade!
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: certora.com/reports/cables