This is the second article from our series exploring ZK fundamentals, zero knowledge proofs and related notions. Read the first one here: 📚 Part I: Zero-Knowledge Proofs Explained In our last article we talked about how computation can be rephrased in terms of membership in a set (a language). We…

The more Web3 and blockchain develop and grow, the more security becomes an important aspect of development and of running a Web3 business. Crypto protocols are quite lucrative for hackers, so the need to identify and address vulnerabilities in these systems becomes more critical than ever. What’s more, blockchain security…

We are starting a new blog series where we will explore zero knowledge proofs and related notions. Rather than keeping the exposition at a leisure and superficial level, we will try to dive deep and get a thorough understanding of the concepts involved. You might have read about the Ali…

Earlier this year, we collaborated with Secureum to host a blockchain security workshop where we highlighted the importance of using automated vulnerability detection tools together with human-led audits to amplify the security of smart contracts. The workshop was a big success and we are now gearing up for a second…

This is a blog series in which we explore ZK folding schemes and NOVA. Read the previous articles: 📓 PART I: Recursive SNARKs and Incrementally Verifiable Computation 📓 Part II: Halo and Accumulation 📓 Part III: Folding and Nova In the previous article we saw how folding allows us to…

“Meet Our Team” is a blog series where we introduce you to the people behind Veridise and make our company what it is. Today we talk to our VP of Engineering Andreea Buterchi. Andreea holds BSc and MSc degrees in Computer Science from the “Alexandru Ioan Cuza” University of Iasi…

As blockchain technology becomes more and more popular, the line between Web2 and Web3 gets thinner. Naturally, more people get interested in decentralization, blockchain and crypto. The strongest point of attraction is perhaps decentralized finance (DeFi) — its returns and opportunities make it the perfect gateway to Web3. However, with…

Get to know the people who make Veridise special — “Meet Our Team” is a blog series where we introduce you to the people who add the special sauce to Veridise and make our company so incredible. Today, we virtually “sit down” with one of our co-founders — the Veridise President Işil Dillig. First things first: how do you pronounce…

This is a blog series in which we explore ZK folding schemes and NOVA. Read the previous articles: 📓 PART I: Recursive SNARKs and Incrementally Verifiable Computation 📓 Part II: Halo and Accumulation As we made it this far, we are now ready to dive deep into folding and Nova…