Cc9f267dcClaimShielded Bitcoin transfers use a note and nullifier cryptographic data structureAgreeDisagree
Cc9f267dcClaimBitcoin PIPEs enables binary covenants and pessimistic zero-knowledge proof verification on Bitcoin without changes to Bitcoin's consensus rulesAgreeDisagree
Cc9f267dcClaimImplementing post-quantum zero-knowledge proof systems in Shielded Bitcoin increases the required transaction sizeAgreeDisagree
Cc9f267dcClaimA valid theoretical attack submitted to Allocunit's open challenges prompted Allocunit to revise and republish its witness encryption designAgreeDisagree
Cc9f267dcClaimA Shielded Bitcoin transfer publishes a ciphertext containing wallet state data alongside a zero-knowledge proof verifying the ciphertext's correctnessAgreeDisagree
Cc9f267dcClaimAllocunit initiated open cryptographic vulnerability challenges at the Eurocrypt conference in May 2024AgreeDisagree
Cc9f267dcClaimShielded Bitcoin enables transferring Bitcoin without publicly revealing the transaction sender, receiver, or transfer amountAgreeDisagree
Cc9f267dcClaimCryptographer Amit Sahai published research constructing a witness encryption scheme based on min-rank assumptions in the generic group modelAgreeDisagree
Cc9f267dcClaimAllocunit seeks to mathematically reduce its witness encryption scheme to a min-rank hardness assumptionAgreeDisagree
Cc9f267dcClaimIn witness encryption for Bitcoin PIPEs, a UTXO holds funds that can only be unlocked by submitting a valid cryptographic witness proofAgreeDisagree
Cc9f267dcClaimAllocunit collaborates with cryptographer Sanjam Garg on witness encryption securityAgreeDisagree
Cc9f267dcClaimWitness encryption was theoretically introduced in 2013 by cryptographer Sanjam GargAgreeDisagree
Cc9f267dcClaimLedger indistinguishability is a cryptographic property requiring blockchain transactions to appear as indistinguishable random data to an adversaryAgreeDisagree
Cc9f267dcClaimZcash wallet scanning relies on pre-quantum cryptography that requires upgrading to post-quantum key exchange mechanisms like ML-KEMAgreeDisagree
Cc9f267dcClaimA quantum computer capable of breaking elliptic curve cryptography could counterfeit Zcash prior to the implementation of post-quantum soundnessAgreeDisagree
Cc9f267dcClaimCryptographic techniques like stealth addresses and ring signatures fail the formal security game of ledger indistinguishabilityAgreeDisagree
Cc9f267dcClaimPrivate Information Retrieval allows a cryptocurrency wallet to query a remote server over encrypted data without revealing user transactions to the serverAgreeDisagree
Cc9f267dcClaimDev Ojha developed cryptographic optimizations for Zcash whose zero-knowledge privacy preservation was verified using Zcash's existing formal verification proofAgreeDisagree
Cc9f267dcClaimTachyon utilizes recursive SNARKs to aggregate zero-knowledge proofs into a single proof per block for full nodes to verifyAgreeDisagree