Kostas Ferles
@KFerles
Followers
81
Following
53
Media
0
Statuses
32
Chief Technical Officer @VeridiseInc! Building automated tools to secure the web3 ecosystems.
Somewhere in the US.
Joined September 2022
RT @VeridiseInc: ⭐ 🎥 Watch a 7-min chat with @RiscZero CEO @BruestleJeremy on his founding journey, RISC Zero's security priorities, and hi….
0
11
0
RT @RiscZero: RISC Zero is building the first formally verified RISC-V zkVM. Using @VeridiseInc's Picus tool, we're mathematically provin….
0
37
0
RT @FormallyJon: Another great talk from a member of @VeridiseInc at #EthCC. Shankara talked about Picus, our tool for verifying that zk ci….
0
5
0
RT @VeridiseInc: 📣Happening today! . 📌zkDay Paris @zkdayofficial .🗓 July 19, 2023.📍17 Rue de l'Aubrac, 75012 Paris.🕘 11 am - 8 pm. Register….
0
5
0
RT @VeridiseInc: Recently, Wilson Nguyen @mercysjest, Dan Boneh @danboneh (both from Stanford University) and Srinath Setty @srinathtv (Mic….
0
5
0
RT @VeridiseInc: We had a blast at @PragueDefi & @EthPrague! A few awesome days of networking, hacking and fantastic talks on #DeFi, #inter….
0
10
0
0
3
0
RT @VeridiseInc: 1/5 We are excited to share our new blog post about ZK vulnerabilities in Circom:. Read this thre….
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…
0
10
0
RT @VeridiseInc: Our VP @AndreeaButerchi speaking at the Avalanche Summit in Barcelona! It's been a great event with many amazing speakers!….
0
5
0
RT @VeridiseInc: Our team had a fantastic time at Consensus this year! Thanks to the Blockchain Research Symposium, @MinaProtocol and @EVM….
0
7
0
RT @VeridiseInc: We are looking forward to meeting the top performers at our upcoming workshop!! Big thanks to @TheSecureum.
0
3
0
RT @TheSecureum: Secureum RACEs are smart contract security quizzes. Participation is free & requires one-time registering at https://t.co/….
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...
0
18
0
RT @VeridiseInc: (1/3) After spending a lot of time explaining common problems in zkSnarks at ETHDenver recently, we decided to write a blo….
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…
0
14
0
🤫@SuccinctLabs. 0xf24b2573d06fbfc64fac176129a3776663a848c980fd86fda208e47136bc64a1d085f4c37ac4d30ac38c23144e2da41b46d18c741c790828fad2aceae138362f. 0x8baca4980bd57e3d54165ba5265bb225e0bd0a4a84d8ceb693b850a1c4005afc946b9a7ef612894ef1fa61d2a00edf2f17d18ccd28c120ca22b972fed38bff1f.
0
0
2
RT @VeridiseInc: Thanks to everyone who joined us for zkDay and huge thanks to @MantaNetwork for taking the lead on organizing!! We hope….
0
9
0
RT @VeridiseInc: (1/5) We are delighted to share that our recent research on finding underconstrained ZK circuits will appear at PLDI 2023….
0
10
0
RT @VeridiseInc: Come join us in Denver! Our co-founders @IsilDillig, @FormallyJon, and @captain8299 will be giving talks at several even….
0
5
0
RT @VeridiseInc: (1/5) At @VeridiseInc, we are passionate about building security analysis tools in a data-driven way. We recently performe….
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...
0
9
0
RT @VeridiseInc: (1/5) As promised in a previous thread about our Semaphore audit, here is a hot-off-the-press blog post about how OrCa (o….
0
8
0
RT @StartUsInsights: ⛓️Explore our report mapping top #Blockchain trends of 2023👉 @bottlepay @chaincard_co @Buzzmi….
www.startus-insights.com
Discover the Top 9 Blockchain Trends plus 18 Top Startups advancing the technology & learn how they impact your business.
0
2
0