https://blog.beal.io/tags/proof-carrying-data/ Recent content in Proof-Carrying Data on Beal'Log https://blog.beal.io/papermod-cover.png https://blog.beal.io/papermod-cover.png Hugo -- gohugo.io en Mon, 16 Dec 2024 00:00:00 +0000 https://blog.beal.io/posts/mira/ Mon, 16 Dec 2024 00:00:00 +0000 https://blog.beal.io/posts/mira/ Succinct non-interactive arguments of knowledge (SNARKs) are powerful cryptographic primitives that enable a prover to convince a verifier of the validity of a claim with a short proof. These primitives enable verifiable computation, where a client can outsource a difficult task to an untrusted cloud provider and then check via a proof that the task was performed correctly. While theoretical SNARK constructions have been known since the 90s, there have been numerous efforts over the past decades to minimize the prover complexity and proof size for real-world applications. https://blog.beal.io/posts/derecho/ Mon, 27 Feb 2023 00:00:00 +0000 https://blog.beal.io/posts/derecho/ Privacy pools use zero-knowledge proofs to enable anonymous transfers of assets on account-based smart contract platforms such as Ethereum. In a nutshell, these privacy pools enable users to deposit funds into a shared pool, anonymously transfer funds within the pool, and later withdraw funds without linkage to their previous transactions. While these pools offer a valuable service for users who desire privacy on smart contract platforms, they may also be subject to misuse by cybercriminals.