In today’s digital age, privacy and security are of utmost importance. With advanced technology, ensuring confidentiality while sharing sensitive information has become a challenge. But fear not, Zero-Knowledge Proofs (ZKPs) have emerged as a groundbreaking solution to this problem. ZKPs allow one party, the prover, to demonstrate the validity of…

Zero Knowledge Proofs (ZKPs) are cryptographic protocols that enable one party to prove to another that a statement is true without revealing any additional information about it. This revolutionary concept has applications in privacy-preserving authentication, data sharing, and decentralized systems. …

We will be doing walk through of a simple zk-dapp for age verification, that will allow users to prove that they are below a certain age without revealing their actual age. …

What are ZKPs In simple terms, Zero Knowledge Proofs enable one party (prover) to cryptographically prove the possession or validity of a piece of secret information (witness) to a second party (verifier), without revealing that information. This cryptography primitive was first introduced by Shafi Goldwasser, Silvio Micali, and Charles Rackoff in 1985, in…

Creating and verifying zero-knowledge proofs in solidity — Zero Knowledge Proofs enable a Prover to demonstrate knowledge of something to a Verifier without revealing that knowledge. For example, if we want to prove that we have solved a puzzle without giving away the solution, we can use Zero Knowledge Proofs. How does this relate to Smart Contracts? Imagine a Solidity smart contract called Sudoku …

Plonky2 is an efficient ZKP system for constructing succinct non-interactive arguments of knowledge. Groth16 is a widely used ZKP system based on bilinear pairings, known for its strong security and efficiency in generating zk-SNARKs. …

Introduction Zero Knowledge Proofs (ZKPs) are cryptographic techniques that allow a prover to convince a verifier that a given statement is true without revealing any additional information. ZKP represent a significant advancement in the field of cryptography and privacy-preserving computation, and some folks compare ZKPs to the creation of a new…

Trustless Cross-Chain Information Access on Starknet — Introduction Storage proofs are a cryptographic way to track blockchain information so that it can be shared across chains. Similar to oracles, storage proofs provide proof that the information is true. …

Demystifying SNARK Jargon — For the last few months I’ve been studying zk-SNARK material and I recall what it felt like to hear many of the terms used by the zk-SNARK researchers before I learned what they meant. Well, you see, first you need to FRI the PLONK system such that it is an…

These days the number of projects and papers that are looking for “Zero-knowledge-proof (ZKP)” use cases in the blockchain industry is growing exponentially. The ZKP concept can be simplified to proof of knowing some information without revealing the information itself and the secret. …

By Mohamed Fouda and Qiao Wang Zero Knowledge technology, or zk in short, is an enabler technology that will transform not only Web 3 but other industries as well. It is a general enough technology to have a multitude of use cases. We are in the early innings of figuring…

Written by @msfew, @Shuyang Thanks to Jules de Smit, Sinka, and Guo Yu for review and feedback. Intro Our previous blog talks about zkWASM and the reason why zkWASM is the perfect basis with general computation, to support flexibility for any user-defined zkGraph of Hyper Oracle’s indexing and automation protocol. This…

The thing you’d never heard of that is trying to save your online self…from everyone Preface If you’re new here, welcome! If you’re here for round 2, welcome back! We received great feedback from our inaugural piece and are definitely feeling ourselves. That said, we thought we’d increase the difficulty level for this week’s piece, strap in we’re about to strap on.

Web3 social platforms have gained immense popularity due to their decentralized and peer-to-peer nature. Platforms like Lens Protocol, Mirror, Farcaster, Showtime, Ora, Nostr, and Mastodon have provided users with more control over their data and interactions. …

by Nick DiPrinzio The Problem Aleo is the first Layer-1 blockchain to offer fully private applications by leveraging zero-knowledge cryptography. “By architecting Aleo as a blockchain that is private-by-default, open-source, and built for the web, we believe Aleo is uniquely positioned to address the shortcomings of blockchain adoption” according to Aleo CEO…

If you’ve been around the Ethereum research community lately, you might’ve heard of something called a sparse Merkle tree. They might sound scary, but they’re really quite simple. This post will explain exactly what a sparse Merkle tree is, why they’re cool, and what they’re currently being used for. Merkle Trees First…

TL;DR — Validity rollups are not limited in throughput in the same manner as L1s. This gives rise to potentially much higher TPS on L2 validity rollups. Starknet performance roadmap addresses a key element in the system: the sequencer. We present here the roadmap for performance improvements: — Sequencer parallelization —…