Kostas Ferles

44 posts

Kostas Ferles

Kostas Ferles

@KFerles

Chief Technical Officer @VeridiseInc! Building automated tools to secure the web3 ecosystems.

Somewhere in the US. Katılım Eylül 2022
87 Takip Edilen99 Takipçiler
Kostas Ferles retweetledi
Veridise
Veridise@VeridiseInc·
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
Veridise tweet media
English
2
17
19
607
Kostas Ferles retweetledi
AuditHub
AuditHub@AuditHubDev·
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.
AuditHub tweet media
English
2
5
24
158K
Kostas Ferles retweetledi
Veridise
Veridise@VeridiseInc·
🚀 @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
Veridise tweet media
English
36
2
62
2K
Kostas Ferles retweetledi
Defi Security Summit
Defi Security Summit@summit_defi·
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.
Defi Security Summit tweet media
English
0
2
9
1.5K
Kostas Ferles retweetledi
AuditHub
AuditHub@AuditHubDev·
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. 🛡️
House of ZK@HouseofZK

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=vWKKRk…

English
0
3
35
866
Kostas Ferles retweetledi
AuditHub
AuditHub@AuditHubDev·
$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!
English
0
2
15
5.1K
Kostas Ferles retweetledi
AuditHub
AuditHub@AuditHubDev·
🚀 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! 🧵
AuditHub tweet media
English
3
8
17
1.1K
Kostas Ferles retweetledi
Veridise
Veridise@VeridiseInc·
🚀 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.
English
4
3
16
978
Kostas Ferles retweetledi
Veridise
Veridise@VeridiseInc·
Checking in from the @HouseofZK Verifying Intelligence event in Singapore. Our raccoon T-shirts are disappearing fast 🦝🦝🦝
Veridise tweet media
English
1
3
50
1.7K
Kostas Ferles
Kostas Ferles@KFerles·
@tomerweller @VeridiseInc Thanks for joining us, Tomer. Enjoyed our chat as well! The Stellar Foundation has been setting the example for security practices in our industry.
English
0
0
2
41
Tomer Weller
Tomer Weller@tomerweller·
Had a great time chatting with Kostas from @VeridiseInc about how Stellar is built from the ground up for security, both the tech and the ecosystem.
Veridise@VeridiseInc

How is @StellarOrg funding smart contract security at scale? Ecosystems need better security models — and Stellar is already leading the way. Join @tomerweller as he unpacks Stellar’s proactive approach: the Soroban Security Audit Bank. Hosted by @KFerles from @VeridiseInc. Timestamps: 0:00 Introduction 1:00 Inspiration behind the Soroban Security Audit Bank? 3:05 How projects can access audits from the Audit Bank? 4:41 Expected bugs and vulnerabilities? 9:19 Can this be a blueprint for other ecosystems? 11:00 Ecosystem insights (Kostas) 13:45 Evaluation criteria for the Audit Bank program? 15:45 Security advice for Soroban builders? 16:35 What are common bugs to avoid in Soroban? 19:07 What’s next for Soroban? 22:24 ZK and privacy: where to focus? (Kostas) 23:42 Closing remarks

English
2
12
41
2.9K
Kostas Ferles retweetledi
Veridise
Veridise@VeridiseInc·
⭐ 🎥 Watch a 7-min chat with @RiscZero CEO @BruestleJeremy on his founding journey, RISC Zero's security priorities, and his experience with @VeridiseInc.
English
1
11
30
4K
Kostas Ferles retweetledi
RISC Zero
RISC Zero@RiscZero·
RISC Zero is building the first formally verified RISC-V zkVM. Using @VeridiseInc's Picus tool, we're mathematically proving determinism in our circuits. Our goal: A zkVM that’s both incredibly fast and provably secure, so developers never have to compromise.
English
23
36
240
49.8K
Kostas Ferles retweetledi
Jon Stephens
Jon Stephens@FormallyJon·
Another great talk from a member of @VeridiseInc at #EthCC. Shankara talked about Picus, our tool for verifying that zk circuits are properly constrained.
Jon Stephens tweet media
English
0
5
14
1.6K
Kostas Ferles retweetledi
Veridise
Veridise@VeridiseInc·
📣Happening today! 📌zkDay Paris @zkdayofficial 🗓 July 19, 2023 📍17 Rue de l'Aubrac, 75012 Paris 🕘 11 am - 8 pm Register here: lu.ma/zkdayParis & make sure to swing by our table, talk to our team and get some swag!
Veridise tweet media
English
1
5
12
2.1K
Kostas Ferles retweetledi
Veridise
Veridise@VeridiseInc·
Recently, Wilson Nguyen @mercysjest, Dan Boneh @danboneh (both from Stanford University) and Srinath Setty @srinathtv (Microsoft Research) published a paper named “Revisiting the Nova Proof System on a Cycle of Curves”. 🧵 👇
English
1
5
18
2.8K
Kostas Ferles retweetledi
Veridise
Veridise@VeridiseInc·
1/5 We are excited to share our new blog post about ZK vulnerabilities in Circom: medium.com/veridise/zk-vu… Read this thread if you just want the TL; DR :) 🧵👇
English
1
10
16
1.7K

Keşfet

@EthCC @VeridiseInc @AuditHubDev @alexanderlhicks @CodyGunton @vwuestholz @ConsensysAudits @FormallyJon