Toby Callahan
@CallahanT
Followers
2K
Following
209
Media
25
Statuses
724
VP of Sales at @CertoraInc | Ex HackerOne | Telegram: @callahant
Boston
Joined February 2009
@CertoraInc x @AaveAave are collaborating on a new community audit competition! See more details below:
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
0
3
4
Our first tutorial challenge is now complete! 500+ attempts 5 Prizes ($200/each) Congrats to: @_Czar102
@imsrybr0
@peritoflores Get ready for the next reward challenge by working through the tutorial...stay tuned for details 👀 https://t.co/sAQKtlA10r
0
3
14
Great news to see our customer @mute_io go live! Another set of rules securing the world of web3!
We are happy to announce that veMute is now LIVE at https://t.co/Eyf8gzqBue✨ This marks a new Era ∎ for Mute governance and protocol functionality. Get ready for veRewards, governance and more 🔥 A special thanks to our partners @CertoraInc for our audits. More links below 👇
5
1
11
We are happy to announce that veMute is now LIVE at https://t.co/Eyf8gzqBue✨ This marks a new Era ∎ for Mute governance and protocol functionality. Get ready for veRewards, governance and more 🔥 A special thanks to our partners @CertoraInc for our audits. More links below 👇
dapp.koi.finance
A lighting fast DEX, yield, and bond platform
6
37
113
Leaving aside the discussion of how representative a twitter poll may be, it's great to see @CertoraInc's continued work on bringing formal verification to smart contracts being recognised by the community. Kudos to @SagivMooly and team!
The winner of the Best Web3 Audit Quality Twitter tournament! Had 0 doubts since the beginning. Congrats @CertoraInc 🥳
0
3
21
We ❤️ the web3 security community! Getting started w Prover tutorial: https://t.co/jjBTSaldsQ Free trial key:
@CertoraInc is the winner of the Best Web3 Audit Quality Twitter tournament! I had 0 doubts since the beginning. Congrats 🥳
0
2
18
The winner of the Best Web3 Audit Quality Twitter tournament! Had 0 doubts since the beginning. Congrats @CertoraInc 🥳
6
10
66
The world if I could input all my code to GPT/Copilot and it would write @CertoraInc FV rules to prove my invariants.
2
3
12
That's my CEO
No matter who wins, we've learned so much from @trailofbits and respect them as auditors. Let's move the security space forward together 💪
0
0
3
No matter who wins, we've learned so much from @trailofbits and respect them as auditors. Let's move the security space forward together 💪
Round 15 (Final). @CertoraInc vs @trailofbits Final battle. Choose one. Choose the best.
1
8
39
This has been a bit of fun, fair play to @urbittesweet for creating an amazing amount of chatter! But from looking at the other semi-final maybe we need to create a formal spec to remove bots from Twitter 🤣 🤖
Round 15 (Final). @CertoraInc vs @trailofbits Final battle. Choose one. Choose the best.
0
1
7
Joined the Vyper Compiler competition? Join us today on YouTube to learn about: - What is Certora - How to navigate a Vyper contract - How to use Certora to formally verify a Vyper contract ⏰ Today, 4:45pm UTC. Set the reminder 👇
2
8
14
Join us live today with @PatrickAlphaC, @big_tech_sux & @ChandrakanaNaN 🔥 We'll go through an example (buggy) Vyper contract and how to find & fix these bugs using Certora Prover. Live at 4:45pm UTC/12:45pm EST YouTube Livestream:
0
9
30
We're excited to release a new tutorial to get you started with Certora Prover! Lesson 1: Formal verification foundations Lesson 2: Installation & getting started Lesson 3: Practice problems 🏆 Reward challenge - $200 to complete (first 5 to submit) https://t.co/jjBTSakFDi
2
10
39
Participation money for getting started with the Prover!
We're excited to release a new tutorial to get you started with Certora Prover! Lesson 1: Formal verification foundations Lesson 2: Installation & getting started Lesson 3: Practice problems 🏆 Reward challenge - $200 to complete (first 5 to submit) https://t.co/jjBTSakFDi
0
0
0
We are partnering with the @vyperlang team to open up access to Prover for **anyone** to help secure Vyper code! 🤯 As a Vyper community key holder, you'll get access to the power of Certora Prover for use on Vyper code until 12/31/23. Get a key:
2
16
48
Here's how you can participate in the Aave GHO token community audit: 1. Register for a Prover key: https://t.co/Gu5Zv4LCrj 2. Register for our kickoff meeting on Wednesday, September 27, at 16:00 UTC:
docs.google.com
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
0
4
4
“Talent is everywhere, but opportunities are not. One of the goals I’ve always focused on is figuring out how to unlock creative potential for young creatives, so they can tell better stories and unlock financial access.” — @idriselba at #Meridian2023
7
51
279
@tomerweller announcing important updates on @SorobanOfficial, leveraging post-EVM tech for smart contracts. @CheesecakeLabs to announce tomorrow a use case of Soroban on the asset tokenization context. Stay tuned!! @StellarOrg #Meridian2023
4
6
45