Chief Technical Officer @VeridiseInc! Building automated tools to secure the web3 ecosystems.
Joined September 2022
- Tweets 58
- Following 88
- Followers 114
- Likes 111
Photos and videos
Kostas Ferles retweeted
May 19
The ResupplyFi $9.6M bug shipped past an audit. AuditHub catches the class on every commit.
A custom static check flags the shape. A targeted fuzzer confirms the exploit. The combination is the part audits cannot run for you continuously.
1
6
9
317
May 19
The ResupplyFi $9.6M bug shipped past an audit. AuditHub catches the class on every commit.
A custom static check flags the shape. A targeted fuzzer confirms the exploit. The combination is the part audits cannot run for you continuously.
1
6
9
317
Kostas Ferles retweeted
May 19
Vitalik finally said it out loud. "Formal verification is the future of crypto security."
Our tool Picus has been doing it since before the blog post.
1
3
5
258
Kostas Ferles retweeted
May 13
The ResupplyFi check approved a $9.6M borrow against 1 wei of collateral. The exchange rate fed in was zero, and zero passed the LTV ceiling.
Veridise auditors treat oracle-fed arithmetic as a boundary problem.
Here are a few learnings from the audit: veridise.com/blog/audit-insi…
14
21
1,168
May 13
Zero < any positive LTV ceiling. The check did exactly what it was written to do. That's what makes this a boundary problem. Busy writing a follow up on how you catch it with a custom detector.
May 13
The ResupplyFi check approved a $9.6M borrow against 1 wei of collateral. The exchange rate fed in was zero, and zero passed the LTV ceiling.
Veridise auditors treat oracle-fed arithmetic as a boundary problem.
Here are a few learnings from the audit: veridise.com/blog/audit-insi…
1
3
128
Kostas Ferles retweeted
May 12
7
19
81
11,962
Apr 14
Thanks @The_DAO_Project for the badge! Truly honored to be selected among such an elite group :)
Apr 13
The next 60 ETHSecurity Badge holders have been selected using a new rubric updated by the applicants themselves!
Thank you to the people who chatted with the bot, your refinement of the rubric is the first DAO experiment we have tested.
And thank you to @bonfiresai for making amazing DAO tooling!
1
1
64
Kostas Ferles retweeted
Apr 2
Our CEO @FormallyJon is live from @EthCC on :
Live State Fuzzing: Testing Live Deployments Proactively
youtube.com/watch?v=AFkEYbtz…
2
5
15
696
Kostas Ferles retweeted
Mar 19
We're giving away 2 full-access passes to @EthCC in Cannes 30 March - 2 April
To enter:
1⃣Follow @VeridiseInc
2⃣Repost this post
Winner drawn on 28 March
Our partner @AuditHubDev will be at the booth running a security quiz
Stop by, test your knowledge, take home merch
3
16
21
1,224
Kostas Ferles retweeted
8 Dec 2025
📺 Ethproofs day
Panel Discussion: Formal Verification & Fuzzing moderated by @alexanderlhicks , Ethereum Foundation
@CodyGunton @vwuestholz @KFerles
@VeridiseInc @ConsensysAudits
youtu.be/TmMsj_Xgy_A
1
4
12
1,556
Kostas Ferles retweeted
14 Nov 2025
Today we're launching AuditHub for Professional Audit Firms, the comprehensive platform!
Four integrated formal methods tools that handle routine vulnerability detection automatically, enabling audit firms to deliver mathematical guarantees that competitors cannot match.
2
5
22
158,150
Kostas Ferles retweeted
14 Nov 2025
🚀 @AuditHubDev is back — now purpose-built for blockchain security firms.
A full-stack audit platform that streamlines the audit lifecycle, built around how professional audit teams actually work
1/7
36
2
59
2,067
Kostas Ferles retweeted
3 Nov 2025
Security audits in Web3 are often slow, opaque, and hard to coordinate.
At DSS, @KFerles from @VeridiseInc presents AuditHub, a platform that automates repetitive tasks, improves transparency, and helps analysts and developers collaborate efficiently during security reviews.
2
9
1,486
Kostas Ferles retweeted
17 Oct 2025
The future Jon (@FormallyJon) outlined at Verifying Intelligence isn't theoretical: it's live.
AuditHub brings continuous ZK DeFi security into your development workflow today.
One setup.
Always-on verification.
No "out of scope" blind spots.
This is what secure-by-default looks like. 🛡️
17 Oct 2025
Secure-by-default for Web3 is here.
At Verifying Intelligence (in partnership with @GoogleCloud and @boundless_xyz), @VeridiseInc CEO @FormallyJon unveiled AuditHub - a continuous security platform that brings audits into your CI/CD.
Think one setup, always-on scans across DeFi and ZK: static analyzers, fuzzing, and even formal verification (e.g. deterministic-circuit checks), plus custom detectors, guided triage to slash false positives, and full project coverage (no “out-of-scope” blind spots).
If you care about catching business-logic bugs early, verifying ZK circuits, and shipping faster with real guarantees, this keynote is a must-watch: youtube.com/watch?v=vWKKRkbj…
3
17
874
Kostas Ferles retweeted
16 Oct 2025
$350M lost to smart contract exploits in 2024. One-third were audited.
Point-in-time audits arrive too late. Bugs surface right before launch, when fixes cost the most.
Watch Veridise CEO Jon Stephens @FormallyJon explain why we built AuditHub!
2
14
5,095
Kostas Ferles retweeted
2 Oct 2025
🚀 AUDITHUB IS LIVE
The first blockchain security platform that brings usable security tools to web3 development teams.
Your Web3 security deserves more than a PDF.
It deserves continuous, automated protection embedded directly into your workflow. ✨
Here is what AuditHub is and why you should pay attention!
🧵
3
8
17
1,363
Kostas Ferles retweeted
2 Oct 2025
🚀 Big moment in Singapore today.
@FormallyJon officially launched @AuditHubDev — the platform bringing continuous security to Web3 teams.
🎤 Recorded live today on Hack Seasons’ main stage during @token2049 week.
4
3
15
986
Kostas Ferles retweeted
29 Sep 2025
Checking in from the @HouseofZK Verifying Intelligence event in Singapore. Our raccoon T-shirts are disappearing fast 🦝🦝🦝
1
3
33
1,659
23 Sep 2025
I am very proud of the team behind this project. More exciting updates to follow, stay tuned! 😀
23 Sep 2025
🚀 Introducing AuditHub: The next-generation blockchain security platform for Web3 developer teams.
Built by Veridise — now available to the entire dev community. Follow @AuditHubDev for updates.
Thread 🧵
1
2
123