Toby Callahan

VP of Sales at @CertoraInc | Ex HackerOne | Telegram: @callahant

[CoinFund @coinfund]

@certora x @AaveAave are collaborating on a new community audit competition!

See more details below:

[Certora @Certora]

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

[Toby Callahan @CallahanT]

Great news to see our customer @mute_io go live! Another set of rules securing the world of web3!

[Koi Finance (∎, ∆) @koi_finance]

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 @certora for our audits. More links below 👇

[Koi Finance (∎, ∆) @koi_finance]

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 @certora for our audits. More links below 👇

[Santiago Palladino @smpalladino]

Leaving aside the discussion of how representative a twitter poll may be, it's great to see @certora's continued work on bringing formal verification to smart contracts being recognised by the community.

Kudos to @SagivMooly and team!

[Certora @Certora]

We ❤️ the web3 security community!

Getting started w Prover tutorial: https://t.co/jjBTSaldsQ

Free trial key: https://t.co/tiMva3z6x1

[Nikita Kirillov @urbittesweet]

The winner of the Best Web3 Audit Quality Twitter tournament!

Had 0 doubts since the beginning. Congrats @certora 🥳

[Toby Callahan @CallahanT]

@realgmhacker @SagivMooly @certora Is that you walking the dog @realgmhacker ?

[gmhacker @realgmhacker]

The world if I could input all my code to GPT/Copilot and it would write @certora FV rules to prove my invariants.

[Toby Callahan @CallahanT]

That's my CEO

[Mooly Sagiv @SagivMooly]

No matter who wins, we've learned so much from @trailofbits and respect them as auditors. Let's move the security space forward together 💪

[Mooly Sagiv @SagivMooly]

No matter who wins, we've learned so much from @trailofbits and respect them as auditors. Let's move the security space forward together 💪

[Toby Callahan @CallahanT]

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 🤣 🤖

[Nikita Kirillov @urbittesweet]

Round 15 (Final).
@certora vs @trailofbits

Final battle. Choose one. Choose the best.

[Cyfrin CodeHawks @CodeHawks]

Link:
🔗 https://t.co/69Q25hDoCE

[Cyfrin CodeHawks @CodeHawks]

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 👇

[Certora @Certora]

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: https://t.co/c3XAUnuw1j

[Certora @Certora]

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

[Toby Callahan @CallahanT]

Participation money for getting started with the Prover!

[Certora @Certora]

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

[Certora @Certora]

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: https://t.co/izpWEPYiOA

[Certora @Certora]

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: https://t.co/4YAxEbcq4P

[Stellar @StellarOrg]

“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