Cc9f267dcClaimAztec smart contracts can store and query reusable compliance credentials issued through zero-knowledge identity systemsAgreeDisagree
Cc9f267dcClaimStoring encrypted credentials on-chain with user-held decryption keys prevents third-party hosting services from controlling user dataAgreeDisagree
Cc9f267dcClaimZK Passport generates mathematical proofs verifying identity or sanctions status without transmitting raw passport data off the user's deviceAgreeDisagree
Cc9f267dcClaimAztec utilizes formal verification methods to mathematically prove protocol code conforms to theoretical specificationsAgreeDisagree
Cc9f267dcClaimAztec enables smart contracts to store and process encrypted data directly on-chainAgreeDisagree
Cc9f267dcClaimModern passports contain embedded electronic chips capable of generating digital cryptographic attestationsAgreeDisagree
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
Cc9f267dcClaimAllocunit plans to publish an updated paper on its ADP witness encryption scheme in late 2024AgreeDisagree
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