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 the increasing complexity of smart contracts, the risk of hacks and security vulnerabilities has also increased. There are huge amounts of money at play in D...

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 the increasing complexity of smart contracts, the risk of hacks and security vulnerabilities has also increased. There are huge amounts of money at play in D...

This is the first of a sequence of blog posts on Nova, a recursive proof system based on a clever folding scheme for R1CS statements (more precisely relaxed R1CS statements, these and their generalizations will be defined in the next blog posts). We will start gently and later on in the series we will dive deeper into the technicalities. Nova is a high-speed recursive SNARK (Succinct Non-interactive Argument of Knowledge). A SNARK is a type of cryptographic proof system that enables a prover ...

This is the first of a sequence of blog posts on Nova, a recursive proof system based on a clever folding scheme for R1CS statements (more precisely relaxed R1CS statements, these and their generalizations will be defined in the next blog posts). We will start gently and later on in the series we will dive deeper into the technicalities. Nova is a high-speed recursive SNARK (Succinct Non-interactive Argument of Knowledge). A SNARK is a type of cryptographic proof system that enables a prover ...

Do you have zero knowledge about zero knowledge? Do you want to learn more about it? You’re in the right place and we have cookies. Today we dive into the basics of zero-knowledge proofs (ZKPs), how they work and why you should care about them.What is a ZK ProofZKPs were first mentioned in a paper by Shafi Goldwasser, Silvio Micali and Charles Rackoff. Titled “The knowledge complexity of interactive proof systems”, the paper was published in 1985 — for our GenZ readers, 1985 is a point in the...

Do you have zero knowledge about zero knowledge? Do you want to learn more about it? You’re in the right place and we have cookies. Today we dive into the basics of zero-knowledge proofs (ZKPs), how they work and why you should care about them.What is a ZK ProofZKPs were first mentioned in a paper by Shafi Goldwasser, Silvio Micali and Charles Rackoff. Titled “The knowledge complexity of interactive proof systems”, the paper was published in 1985 — for our GenZ readers, 1985 is a point in the...

“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 Işil? Simple — it’s “Ishil”! Işil is a 2015 Sloan Fellow and a recipient of an NSF CAREER award. Currently, she is serving on the ACM SIGPLAN Executive Committee and co-chairing SIGPLAN Awards. She also leads the UTo...

“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 Işil? Simple — it’s “Ishil”! Işil is a 2015 Sloan Fellow and a recipient of an NSF CAREER award. Currently, she is serving on the ACM SIGPLAN Executive Committee and co-chairing SIGPLAN Awards. She also leads the UTo...

One of the largest obstacles that prevent everyday users from adopting blockchain technologies is user experience. Currently, Web3 users have a steep learning curve to overcome before they start using dApps and other blockchain tech on a daily basis. Seed phrases, unfamiliar jargon and complicated logins are just a few of the things that people need to deal with when transitioning from Web2 to Web3. The more complexity is involved, the higher the chance of making mistakes — which makes it eas...

One of the largest obstacles that prevent everyday users from adopting blockchain technologies is user experience. Currently, Web3 users have a steep learning curve to overcome before they start using dApps and other blockchain tech on a daily basis. Seed phrases, unfamiliar jargon and complicated logins are just a few of the things that people need to deal with when transitioning from Web2 to Web3. The more complexity is involved, the higher the chance of making mistakes — which makes it eas...