Kostas Ferles
@KFerles
Followers
85
Following
58
Media
0
Statuses
33
Chief Technical Officer @VeridiseInc! Building automated tools to secure the web3 ecosystems.
Somewhere in the US.
Joined September 2022
⭐ 🎥 Watch a 7-min chat with @RiscZero CEO @BruestleJeremy on his founding journey, RISC Zero's security priorities, and his experience with @VeridiseInc.
1
11
34
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.
23
37
243
Another great talk from a member of @VeridiseInc at #EthCC. Shankara talked about Picus, our tool for verifying that zk circuits are properly constrained.
0
6
13
📣Happening today! 📌zkDay Paris @zkdayofficial 🗓 July 19, 2023 📍17 Rue de l'Aubrac, 75012 Paris 🕘 11 am - 8 pm Register here: https://t.co/6OiOaxYSVe & make sure to swing by our table, talk to our team and get some swag!
1
5
12
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”. 🧵 👇
1
5
18
We had a blast at @PragueDefi & @EthPrague! A few awesome days of networking, hacking and fantastic talks on #DeFi, #interoperability, #zk, and more. 10 out of 10, will be back next year.
0
10
18
Our CTO @FormallyJon talking about ZK bugs at The Pit @jump_pit
0
3
7
1/5 We are excited to share our new blog post about ZK vulnerabilities in Circom: https://t.co/22vgHfp1NY Read this thread if you just want the TL; DR :) 🧵👇
medium.com
In this blog post, we will talk about common vulnerabilities in Circom programs and their root causes. If you are not familiar with either…
1
10
15
Our VP @AndreeaButerchi speaking at the Avalanche Summit in Barcelona! It's been a great event with many amazing speakers! #AvalancheSummit @avax
0
5
9
Our team had a fantastic time at Consensus this year! Thanks to the Blockchain Research Symposium, @MinaProtocol and @EVMNext for organizing these events & facilitating great conversations!! @iam_jsv @bensepanski @IsilDillig
2
7
24
We are looking forward to meeting the top performers at our upcoming workshop!! Big thanks to @TheSecureum
Write-Up for RACE-16, Quiz of @TheSecureum Bootcamp for Ethereum Smart Contract Auditors. Created by Mentor @FormallyJon and @VeridiseInc who will invite the the Top-16 performers to a workshop about OrCa, Veridise’s smart contract fuzzing framework. https://t.co/RUi13tJMPM
0
3
10
Secureum RACEs are smart contract security quizzes. Participation is free & requires one-time registering at https://t.co/EYitbkI5Td. RACE-16 is designed by Secureum mentor @FormallyJon & @VeridiseInc. Top-16 performers will be invited to Veridise Workshop. Details on Discord.
docs.google.com
By filling out this form, you are registering for Secureum Bootcamp Epoch ∞. The information you provide here may be used as part of any selection criteria for bootcamp initiatives. *Important* — You...
2
18
44
(1/3) After spending a lot of time explaining common problems in zkSnarks at ETHDenver recently, we decided to write a blog post series explaining ZK circuit development in Circom: https://t.co/QPpzOI3sVx
medium.com
One of our favorite things to do at Veridise is to perform security audits of zero-knowledge proofs (ZKPs). In this article, we will…
1
14
26
🤫@SuccinctLabs 0xf24b2573d06fbfc64fac176129a3776663a848c980fd86fda208e47136bc64a1d085f4c37ac4d30ac38c23144e2da41b46d18c741c790828fad2aceae138362f 0x8baca4980bd57e3d54165ba5265bb225e0bd0a4a84d8ceb693b850a1c4005afc946b9a7ef612894ef1fa61d2a00edf2f17d18ccd28c120ca22b972fed38bff1f
0
0
2
Thanks to everyone who joined us for zkDay and huge thanks to @MantaNetwork for taking the lead on organizing!! We hope everyone has a great time
0
9
28
(1/5) We are delighted to share that our recent research on finding underconstrained ZK circuits will appear at PLDI 2023! This was a joint effort by researchers from @VeridiseInc and @0xPARC. 🧵
1
10
41
Come join us in Denver! Our co-founders @IsilDillig, @FormallyJon, and @captain8299 will be giving talks at several events and participating in panels!
0
5
8
(1/5) At @VeridiseInc, we are passionate about building security analysis tools in a data-driven way. We recently performed a study of vulnerabilities in ZK circuits and built a tool to detect them: https://t.co/f6zXWr5nV1
@ethereum @privacyscaling
eprint.iacr.org
As privacy-sensitive applications based on zero-knowledge proofs (ZKPs) gain increasing traction, there is a pressing need to detect vulnerabilities in ZKP circuits. This paper studies common...
2
9
35
(1/5) As promised in a previous thread about our Semaphore audit, here is a hot-off-the-press blog post about how OrCa (one of @VeridiseInc tools) could have been used to prevent two recent exploits! https://t.co/e5TFrmG9GO
@PrivacyScaling @RektHQ @Cointelegraph
2
8
20
⛓️Explore our report mapping top #Blockchain trends of 2023👉 https://t.co/LhiS72Adnp
@bottlepay @chaincard_co @Buzzmint1 @Courtyard_NFT @viveel @acrianetwork @RubyProtocol @GoldarioToken @MoralisWeb3 @Niftron101 @DafecsKurumsal @alleochain @VeridiseInc @FortaNetwork @zblocks_io
startus-insights.com
Discover the Top 9 Blockchain Trends plus 18 Top Startups advancing the technology & learn how they impact your business.
1
2
6