Junnon
1.6K posts
Junnon
@JuliusRaynaldi
Web3 Security Researcher | Formal Verification | #2 Certora Leaderboard | DM for Formal Verification
Katılım Aralık 2011
214 Takip Edilen209 Takipçiler
@xKeywordx @PatrickAlphaC i'm currently recovering from severe food poisoning, will be back to work in 1-2 days
English
Yo @PatrickAlphaC can you please tell @DevDacian to check his DMs?? Also, look at the "Requests" tab in case my DM doesn't show up.
Please and thank you!
English
Junnon retweetledi
"We need an audit before launch." ⌛
This is the most common inbound request we receive. It's also too late.
Here's the actual timeline you need to launch securely, especially if institutional capital or regulatory scrutiny is involved.
🧵
English
Junnon retweetledi
Just kicked off my curated list of premium resources for Formal Verification with @Certora Prover (EVM, Stellar, Solana).
Hand-picked, always updated, all in one spot. Bookmark this treasure, anon!
github.com/alexzoid-eth/f…
English
Creating a PRIVATE Telegram group for people to learn about AI and vibe coding.
We’ll talk about what we’re building, revenue, favorite AI tools, plugins, Claude Code, new releases, marketing, content, X, etc.
Comment ‘AI’ if you want to join. I'll DM you the link.
English
Junnon retweetledi
Shout out @giovannidisiena @TamayoNft @JuliusRaynaldi great result on this tough audit finding:
* 3 High
* 6 Medium
* 21 Low
Protocol was a trading competition platform integrating with GMVv2 perps, @JuliusRaynaldi did a great job with formal verification!
English
Junnon retweetledi
It's been an honor joining forces with @blend_capital and @code4rena to run the first Formal Verification competition in the @BuildOnStellar ecosystem.
Full report is ready 👇
Code4rena@code4rena
The Blend v2 audit report is now published! Much respect to @blend_capital, @StellarOrg, and @certora for partnering with C4 to secure Blend V2 and the Stellar ecosystem. Check out the Code4rena Audit Report and Certora Contest Report below!👇
English
Junnon retweetledi
If you're writing Rust smart contracts, these guidelines help you catch bugs before deployment, and make your code easier to test, maintain, and verify.
Read the full blog post for examples and context 👇
certora.com/blog/writing-v…
English
We are hiring again:
- sr security engineer
- rust engineer
- dev ops engineer
github.com/sigp/positions…
English
English
23/27 injected bugs caught!🔥🔥 Really proud with this result 💪💪. Cheers to all participants, @cantinaxyz , @certora and @eulerfinance that put all the hard work during the contest. Hopefully there will be more collaboration in the future.
Certora@Certora
2/3 The results are impressive: • 40 fv submissions • 27 injected bugs (mutants) • 100% of mutants caught! • The top 3 (@alexzoid, @JuliusRaynaldi, @BenRai_) caught all mutants, earning $65k! • 2 participants (@alexzoid, @0xJCN) caught real bugs using their rules
English
English
English
Junnon retweetledi
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
English
Had a lot of fun reviewing the Morpho Blue codebase in my first @cantinaxyz contest. I focused in FV, but I could not find any issue with my Certora prover rules. Anyway I managed to find the only High. 🙏🏼
English
@czar102 @GalloDaSballo The latest update said you got first place, and I got the 2nd.
English
Any of my followers participated in the GHO Formal Verification Contest? Want to hear about your experience
English
@neumoXX @certora @MorphoLabs @cantinaxyz The codebase is relatively small, I think its really good for formal verification with prover. 🤔
English
I’m using the @certora Prover for the @MorphoLabs @cantinaxyz contest. Let’s see what I can get, when the contest ends I will make public the spec in my github.
English
Junnon retweetledi
We're giving away two tickets to @TheTrustX (SOLD OUT) at @EFDevconnect in Istanbul 🔥
1. Follow us (@certora)
2. Like & retweet this tweet
We'll select two people at random in 48 hours
English