Reading into zkRollups, I've found that validity proofs are generated using either zkSNARKs or zkSTARKs. Given that transactions are public inputs, I was wondering why proof systems with zero knowledge property are used? Would it not be sufficient to use proof systems with knowledge soundness, but without the zero knowledge property? I fail to understand why we need the zero knowledge property. Any pointers or insights would be appreciated!
[link] [comments]
You can get bonuses upto $100 FREE BONUS when you:
💰 Install these recommended apps:
💲 SocialGood - 100% Crypto Back on Everyday Shopping
💲 xPortal - The DeFi For The Next Billion
💲 CryptoTab Browser - Lightweight, fast, and ready to mine!
💰 Register on these recommended exchanges:
🟡 Binance🟡 Bitfinex🟡 Bitmart🟡 Bittrex🟡 Bitget
🟡 CoinEx🟡 Crypto.com🟡 Gate.io🟡 Huobi🟡 Kucoin.
Comments