Trending

#ZeroKnowledgeProofs

Latest posts tagged with #ZeroKnowledgeProofs on Bluesky

Latest Top
Trending

Posts tagged #ZeroKnowledgeProofs

Preview
Zero-Knowledge Proofs Explained: How to Prove Everything Without Revealing Anything

Zero-knowledge proofs are reshaping Web3 by enabling private transactions, secure authentication, and scalable blockchains — all without exposing user data. #zeroknowledgeproofs

1 0 0 0
Preview
How Zero-Knowledge Proofs Work This is another article in my series on Privacy Enhancing Technologies. Let’s talk about how we can using some clever techniques to assert the truth of a statement without divulging personal data that proves the assertion. ## What problem are we solving? This is the question we need to always ask first. And there are several problems that might be solved by zero-knowledge proofs. But for the purposes of this article, we’re going to focus on this: maximizing privacy. We want to prove a fact about ourselves while revealing as little personal information as possible. The use case that sticks out most today is age verification. Many sites are now required by law to verify that all users are over a given age. Australia has banned social media for anyone under the age of 16. The UK, France, Italy and many US states have required porn sites to verify the age of their visitors. Utah has required mobile app stores to verify users’ ages, as well. But we can envision other use cases like verifying a user’s location, nationality, student or employment status, etc. But verifying that someone is over a certain age is a good example, so let’s stick with that. (Note that age-gating has a lot of important issues which I’m not going to address here – the EFF has a lot of articles on this.) The first thing to note is that I did not say that a user must prove their _exact age_. All of these age-gating laws set a _minimum_ age. If written properly, these laws also should not require your identity. We simply need to prove, to some reasonable degree, that we are at least X years old – that’s it. Many of these systems fail, from a privacy perspective, by requiring the user to provide more information than is strictly required. ## Example: Entering a Bar Let’s use a common example: you need to be 21 or older to enter a bar. You could prove this by providing a government-issued ID to a bouncer at the door. However, that bouncer would then see your name, address, date of birth, and more. And if that bouncer uses an internet-connected scanner to check your ID, then you’ve also shared that information with some company you’ve never heard of. (And who knows who _they_ might share it with.) So how could we prove that we’re at least 21 without handing over our ID? You could instead go to a mutually trusted third party to check your ID who could issue you a wristband that indicates you’re 21+ and show _that_ to the bouncer. Or you could have an ID scanner that’s not connected to the internet and stores no data that simply lights up red (rejected) or green (approved). Of course, this requires the trusted third party or device – and this is sometimes how “zero knowledge” systems are implemented. It would be technically feasible for Apple and Google to securely and privately store a government-issued digital ID that would allow you to prove that you are over a given age without revealing any further information. This would be based on the assumption that the holder of the phone is the person identified by the ID it contains. ## What is a Zero-Knowledge Proof? There are logically rigorous definitions of a zero-knowledge (ZK) proof, but I’m going to try to simplify it greatly here. I want to be able to convince someone of the truth of a statement without revealing the facts that prove it. And after convincing them beyond a shadow of a doubt that this thing is true, I also do not want that person to be able to prove it to anyone else. For example, I want to prove to you that I’m over 21, but I don’t want you to be able to prove this to anyone else because no one else needs to know. The easy button “solution” is to use a trusted third party that reviews the private data and only reveals the answer to the posed question. And for some types of problems, you _need_ a third party involved. For example, to determine your age, you at least need some official, mutually-trusted entity to issue a birth certificate with a date of birth. But there are types of ZK proofs that require no third party whatsoever – ways to prove that you know a secret without revealing that secret. For example, proving that you know a password without giving up the password or that your bank balance is over a minimum amount without revealing how much money you have. These proofs can be absolute or probabilistic. Let’s look at a fun, contrived example of each type. ## Where’s Waldo? We’re all familiar with the Where’s Waldo (or Wally) books: you have a large drawing with hundreds of people in it, and you have to find one particular person: Waldo. So let’s say I claim to know where Waldo is and you don’t believe me. Furthermore, I want to prove I know Waldo’s location without revealing the location to you in the process. How might I do this? Let’s assume the image including Waldo is square, two feet on a side. I put the image on a big table and tell you to leave the room. I get a big piece of paper, at least four feet square. I cut a Waldo-sized hole in the dead center of the paper, and then adjust the paper over the image to reveal Waldo’s face. I tell you come back in. You see Waldo’s face in the cutout. I definitely know where Waldo is – I’ve shown him to you. But because the paper is much larger than the image, you can’t see where the image is under the paper – that is, how it’s oriented relative to the cutout. You therefore learn nothing about Waldo’s location in the image. And furthermore, you can’t _prove_ to anyone else that I know where Waldo is. Another version of this involves a deck of cards. I choose a card and tell you that it’s red. You don’t believe me. I then set my card to the side, face down, and take the rest of the deck and reveal 26 black cards. A standard 52-card deck has exactly 26 red and 26 black cards in it. If all the black cards are still in the deck, then I must have pulled a red card. And yet, you don’t know which _specific_ red card I pulled. ## Ali Baba’s Cave Sometimes we can’t prove something is absolutely true, but it’s sufficient to show that something is statistically highly likely to be true – usually to an arbitrary degree of the verifier’s choosing. This example is called Ali Baba’s Cave. This is trickier to envision, so let’s use some images. **Ali Baba’s Cave** source: Wikimedia (click the image) There’s a circular cave with a door at the back of the cave, preventing anyone from going through. That door is locked with a pass code. Peggy (the “prover”) wants to convince Victor (the “verifier”) that she knows this pass code without revealing the code itself. The cave has one entrance, on the opposite side of the locked door. There are two paths to the locked door at the back of this cave: A and B. This is shown in the first image. Peggy tells Victor to wait outside, where he can’t see which path Peggy takes. Peggy randomly chooses path A or B – it doesn’t matter which, but let’s say she chooses B. She calls Victor into the mouth of the cafe where he can see both paths, A and B (but not the door at the back of the cave). Victor tells Peggy to come out using Path A (the second image). And a short while later, Peggy emerges from Path A (third image). Now, Peggy could have gone down Path A, in which case she could appear via this path without first unlocking the door. She had a 50% chance of just getting lucky. However, if Victor is sent back out and we repeat this same experiment over and over, and Peggy reliably comes out using the path that Victor specifies, every single time without fail, then – statistically speaking – it becomes very hard to believe Peggy could be that lucky. The math is simple: you multiply 0.5 (50%) for each time you run the experiment. If she got it right 10 times in a row, there’s only a 1 in 1024 chance she did that based on pure luck. After 40 trials, the odds are over a trillion-to-one. Is it possible? Sure. But is it likely? No. So we conclude that Peggy must indeed know the code. And while Victor has observed this and now believes this, he can’t _prove_ this to anyone who wasn’t also there. #### Need practical security tips? Sign up to receive Carey's favorite security tips + the first chapter of his book, _Firewalls Don't Stop Dragons_. Don't get caught with your drawbridge down! **Get started**

How #ZeroKnowledgeProofs Work

firewallsdontstopdragons.com/how-zero-knowledge-proof...

#ZKP #privacy

0 2 0 0
Preview
Trust-Minimized Systems: The Future in a Trustless World The Future of Trust-Minimized Systems in an Increasingly Trustless World. Let's be honest. Trust is in short supply these days. We're skeptical of institutions, wary of big tech, and downright…

Trust-Minimized Systems: The Future in a Trustless World #trustlesstechnology #SmartContracts #peertopeernetworks #cryptographicverification #digitalidentitysolutions #DecentralizedApplications #DecentralizedFinance #ZeroKnowledgeProofs #Web3Explained #datasecuritytrends

0 0 0 0
Preview
Optimistic vs ZK-Rollups: Which Is Better for Scaling? Ethereum's Scaling Dilemma: A Tale of Two Rollups Let's be honest, using Ethereum can sometimes feel like trying to drive a Ferrari through midtown Manhattan during rush hour. It's powerful,…

Optimistic vs ZK-Rollups: Which Is Better for Scaling? #EVMcompatibility #ZeroKnowledgeProofs #BlockchainScalability #ethereumlayer2scaling #starknet #optimism #OptimisticRollups #zkrollups #Layer2solutions #TransactionFinality

0 0 0 0
Preview
Verifiable AI with Zero-Knowledge Proofs Explained We're building a world that runs on artificial intelligence. From the algorithm that decides if you get a loan to the AI model that helps a doctor diagnose cancer, these…

Verifiable AI with Zero-Knowledge Proofs Explained #AItrust #secureAIinference #verifiableAI #ZKSTARKs #AItransparency #zksnarks #confidentialcomputing #provableAI #ZeroKnowledgeProofs #AImodelverification

0 0 0 0
Preview
Building & Auditing Complex ZK-Circuits: A Guide Let's get one thing straight: building with zero-knowledge technology is not for the faint of heart. It’s one of the most powerful tools we have for privacy and scalability in…

Building & Auditing Complex ZK-Circuits: A Guide #Plonk #cryptographyaudit #BlockchainPrivacy #R1CS #Web3development #zksnarks #ZeroKnowledgeProofs #Smartcontractsecurity #cryptographicprimitives #appliedcryptography

0 0 0 0
Preview
The Future Vision for a Private & Scalable Web3 The Web3 Dream is Still Under Construction Let's be honest for a second. The promise of Web3—a decentralized, user-owned internet—is incredible. It’s a vision of digital freedom, where we control…

The Future Vision for a Private & Scalable Web3 #dAppperformance #web3future #DecentralizedApplications #decentralizedidentity #zkrollups #OptimisticRollups #futureofblockchain #Layer2solutions #cryptoprivacy #ZeroKnowledgeProofs

0 0 0 0
Preview
Investing in Zero-Knowledge Ecosystem Dev Tools Unlocking Web3's Next Frontier: The Case for Investing in Developer Tooling for the Zero-Knowledge Ecosystem Let's be honest. The crypto space moves at a ridiculous pace. One minute, everyone's talking…

Investing in Zero-Knowledge Ecosystem Dev Tools #Web3investmentthesis #cryptographytools #ZeroKnowledgeProofs #L2scalingsolutions #securecomputation #zksnarks #investinginweb3infrastructure #blockchaindevelopertools #ZKdevelopmentframeworks #ZKSTARKs

0 0 0 0
Preview
Investing in Zero-Knowledge Computation Infrastructure The Invisible Engine of Web3: Why Investing in the Infrastructure for Zero-Knowledge Computations is the Next Big Play Let's talk about magic. Not the pull-a-rabbit-out-of-a-hat kind, but a type of…

Investing in Zero-Knowledge Computation Infrastructure #blockchaininfrastructure #blockchainscalingsolutions #FPGAforcryptography #zkrollups #privacypreservingtechnology #cryptographichardware #zksnarks #ZeroKnowledgeProofs #ZKSTARKs #GPUforZK

0 0 0 0
Preview
ZK-Proofs Explained: SNARKs vs. STARKs Breakdown Unlocking Digital Trust: A Deep Dive into the Different Types of ZK-Proofs Ever tried to prove you know a secret without actually revealing the secret itself? Sounds like a magic…

ZK-Proofs Explained: SNARKs vs. STARKs Breakdown #BlockchainScalability #whatareSTARKs #zkrollups #computationalintegrity #succinctnoninteractiveargumentofknowledge #cryptographicproofs #SNARKsvsSTARKscomparison #privacyincryptocurrency #ZeroKnowledgeProofs #scalabletransparentargumentofknowledge

0 0 0 0
Preview
Hardware Acceleration for ZK-Proofs: A Speed Boost The Bottleneck We Can't Ignore in Web3 Let's be honest. Zero-knowledge proofs (ZK-proofs) are one of the most exciting pieces of technology to come out of the crypto space. They…

Hardware Acceleration for ZK-Proofs: A Speed Boost #ZeroKnowledgeProofs #GPUacceleration #FPGAacceleration #parallelprocessing #ZKSTARKs #Web3scaling #zkrollups #blockchainefficiency #zksnarks #zkp

0 0 0 0
Preview
Invisible Apps: The Next Evolution of Blockchain dApps The Future is Here, You Just Can't See It: Moving From dApps to Invisible Apps Let's be honest for a second. Have you ever tried to get a friend—a normal,…

Invisible Apps: The Next Evolution of Blockchain dApps #dAppusability #ZeroKnowledgeProofs #Layer2solutions #Web3Adoption #Web3UX #BlockchainIntegration #DecentralizedApplications #userexperience #cryptoabstraction #seamlessweb3

0 0 0 0
Preview
The Future of KYC/AML in DeFi: Compliance Meets Privacy Navigating the New Frontier: The Inevitable Future of KYC/AML in DeFi Let's be honest. For a long time, Decentralized Finance (DeFi) felt like the Wild West of the financial world.…

The Future of KYC/AML in DeFi: Compliance Meets Privacy #verifiablecredentials #complianceindecentralizedfinance #soulboundtokens #onchainkyc #regulatorytechnology #DeFiregulation #CryptoRegulation #cryptoKYC #ZeroKnowledgeProofs #DeFicompliance

0 0 0 0
Preview
Compliant Privacy: Bridging Crypto Anonymity & Regulation The Great Crypto Paradox: How Can You Be Private and Compliant? Let's talk about the elephant in the room. For years, the world of cryptocurrency has been torn between two…

Compliant Privacy: Bridging Crypto Anonymity & Regulation #decentralizedidentity #cryptoprivacy #ZeroKnowledgeProofs #regulatorycomplianceincrypto #Web3privacytools #onchainprivacy #zksnarks #AMLincrypto #anonymoustransactions #BlockchainPrivacy

0 0 0 0
Preview
Privacy, Scalability, Decentralization: The Web3 Trilemma The Unwinnable Game? Navigating the Trade-Offs Between Privacy, Scalability, and Decentralization Imagine you're designing the perfect vehicle. The board of directors has a few small requests. It must have the…

Privacy, Scalability, Decentralization: The Web3 Trilemma #blockchainscalabilitysolutions #cryptocurrencytradeoffs #ZeroKnowledgeProofs #sharding #networkconsensus #decentralizednetworks #Layer2solutions #Web3challenges #DistributedLedgerTechnology #cryptoprivacycoins

0 0 0 0
Preview
Investing in Private Web3: The Infrastructure Angle The Gold Rush Is Over. It's Time to Sell Shovels. Everyone's talking about the next 100x token. The next meme coin to the moon. The next NFT project that'll make…

Investing in Private Web3: The Infrastructure Angle #PrivacyCoins #ZeroKnowledgeProofs #web3privacysolutions #SecureMultiPartyComputation #Web3infrastructure #confidentialcomputing #DecentralizedApplications #decentralizedinfrastructure #BlockchainPrivacy #web3investment

0 0 0 0
Preview
Investing in Privacy-Enhancing Technologies (PETs) The Investment Case for Privacy-Enhancing Technologies in a Surveillance Age Ever get that creepy feeling you're being watched online? That the ad for the exact thing you just mentioned in…

Investing in Privacy-Enhancing Technologies (PETs) #ZeroKnowledgeProofs #homomorphicencryption #techsectorgrowth #federatedlearning #digitalprivacymarket #SecureMultiPartyComputation #GDPRinvestment #Privacyenhancingtechnologies #dataprivacystocks #PETsinvestment

0 0 0 0
Preview
ZK-SNARKs vs. Ring Signatures: Privacy Coins Explained Unmasking Crypto's Best-Kept Secrets: A Showdown of ZK-SNARKs vs. Ring Signatures Let's get one thing straight: Bitcoin isn't anonymous. Not really. Every transaction you've ever made is sitting on a…

ZK-SNARKs vs. Ring Signatures: Privacy Coins Explained #cryptoanonymity #stealthaddresses #privacycointechnology #anonymoustransactions #ZeroKnowledgeProofs #trustedsetupzcash #ringsignaturesmonero #zcashvsmonero #BlockchainPrivacy #zkSNARKsexplained

0 0 0 0
Preview
Evaluating Anonymity Sets: The Key to Crypto Privacy The Deceptive Simplicity of Crypto Privacy We talk a lot about “privacy coins.” The term gets thrown around constantly, often attached to projects making big, bold promises about untraceable transactions…

Evaluating Anonymity Sets: The Key to Crypto Privacy #Moneroringsize #cryptoforensics #PrivacyCoins #whatisananonymityset #BlockchainPrivacy #ZeroKnowledgeProofs #Zcashanonymityset #fungibility #decoytransactions #transactiongraphanalysis

0 0 0 0
Preview
What Are ZK-Proofs? A Guide to Blockchain Privacy The Blockchain Privacy Paradox: Why We Need a Better Solution Imagine you're buying a coffee. You tap your card, the transaction goes through, and that's it. You don't broadcast your…

What Are ZK-Proofs? A Guide to Blockchain Privacy #layer2scaling #zeroknowledgeproofs #blockchainprivacy #verifiablecomputation #web3privacysolutions #secureauthentication #zkSNARKs #cryptocurrencysecurity #cryptographicproof #decentralizedidentity

0 0 0 0
Preview
Zero-Knowledge Proofs: A Guide for Blockchain Investors Unlocking Crypto's Next Big Thing: Understanding Zero-Knowledge Proofs and Their Impact on Blockchain Investing Let's cut to the chase. The world of blockchain investing is a noisy one. Every other…

Zero-Knowledge Proofs: A Guide for Blockchain Investors #PrivacyCoins #DecentralizedFinance #whatarezeroknowledgeproofs #Layer2Scaling #BlockchainScalability #zkrollups #ZeroKnowledgeProofs #BlockchainPrivacy #zkSNARKsvszkSTARKs #EthereumScalingSolutions

0 0 0 0
Preview
Privacy-as-a-Service: Crypto's Next Big Niche The Great Crypto Contradiction: Public by Default Let's get one thing straight. Most public blockchains are about as private as a glass bank vault. Every transaction, every transfer, every interaction…

Privacy-as-a-Service: Crypto's Next Big Niche #dAppprivacylayer #zksnarks #ZeroKnowledgeProofs #cryptoprivacysolutions #decentralizedprivacy #ConfidentialTransactions #onchainanonymity #Web3infrastructure #MEVprotection #cryptoinfrastructure

0 0 0 0

‘Unrealistic but fascinating’ — the feeling people had when hearing his talk. In that very feeling, the future was hiding. #zeroKnowledgeProofs #ZKP #HalFinney

0 0 0 0
Under the hood of zkSNARK Groth16 protocol (part 6) Last time, we introduced a naive implementation of a verifier in a Solidity smart contract, along with the concept of public and private…

Groth16 protocol internals #cryptography #zkp #zeroknowledgeproofs #blockchain medium.com/coinmonks/un...

0 0 0 0
Preview
Under the hood of zkSNARK Groth16 protocol (part 5) In the previous part, we built our first prover-verifier setup, which is quite interesting. However, it still lacks a few important…

Groth16 protocol internals #zkp #zeroknowledgeproofs #cryptography #blockchain medium.com/coinmonks/un...

0 0 0 0
Preview
Under the hood of zkSNARK Groth16 protocol (part 4) Finally, we have reached a point where we can begin our exploration of zero-knowledge proofs. In this discussion, we will delve into…

Groth16 protocol internals #zkp #zeroknowledgeproofs #cryptography #blockchain medium.com/coinmonks/un...

0 0 0 0
Preview
Under the hood of zkSNARK Groth16 protocol (part 3) In this article I will cover how to convert R1CS created in a part 2 into QAP.

Groth16 protocol internals #zeroknowledgeproofs #zkp #cryptography #blockchain medium.com/coinmonks/un...

0 0 0 0
Preview
Under the hood of zkSNARK Groth16 protocol (part 2) In the previous article, we briefly covered the first two components of the SNARK protocol: the code and the algebraic circuits. In this…

Groth16 protocol internals #zkp #zeroknowledgeproofs #cryptography #blockchain medium.com/coinmonks/un...

0 0 0 0
Preview
Under the hood of zkSNARK Groth16 protocol (part 1) Zero Knowledge Proofs (ZKP) is a concept that has garnered much attention in the blockchain industry. Many, including myself at one point…

Groth16 protocol internals #zkp #zeroknowledgeproofs #cryptography #blockchain medium.com/coinmonks/un...

0 0 0 0
Preview
Under the hood of zkSNARKs — PLONK protocol: part 6 Final article in PLONK series. Here we will implement Prover and the Verifier. In the previous article we coded trusted setup, gate and…

Plonk protocol internals #zkp #zeroknowledgeproofs #blockchain medium.com/@cryptofairy...

0 0 0 0