Try   HackMD

The Three Main Properties of ZK-SNARKs

  • Completeness: Assuming the statement is true & the verifier and the prover are honest, the proof is accepted.
  • Knowledge soundness: If the statement is false, a fraudulent prover cannot convince an honest verifier that it is true except by a tiny probability.
  • Zero-Knowledge: Given that the statement is true, a verifier learns nothing more than the fact that the statement is true.

Thus, we get:

Zero-Knowledge Proof = I know the secret. I can't tell you the secret. But I can prove to you that I know the secret.

References

Last changed by 
 
pcaversaccio
𝐖𝐨𝐫𝐀𝐒𝐧𝐠 𝐨𝐧 π°π‘πšπ­β€™π¬ 𝐧𝐞𝐱𝐭. GitHub: https://github.com/pcaversaccio | X: https://x.com/pcaversaccio
0
392

Read more

`1inch-analysis.app` β€” A DPRK Trojan Horse

This analysis delves into the malicious DPRK-built macOS application bundle, `1inch-analysis.app`, which targeted Anton Bukov from 1inch. The attack was executed by the fake security researcher Nick L. Franklin. This incident, which is part of a broader deception and exploitation attempt, can be attributed with high confidence to the AppleJeus/Citrine Sleet/UNC4736 DPRK team.

Mar 28, 2025
EOF: When Complexity Outweighs Necessity

This blog post examines the Ethereum Object Format (EOF) proposal β€” its purported benefits, underlying complexities, and whether its costs truly justify its implementation. We begin with a high-level overview of EOF's design architecture, explore its claimed benefits, and ultimately show that these benefits represent "nice-to-haves" rather than essential improvements to the protocol. Moreover, these improvements could be introduced individually with smaller and simpler changes. Instead, the specific way in which the changes have been bundled together comes with the real cost of **significantly increased protocol complexity**, which raises the risk of consensus bugs.

Mar 25, 2025
The Ethereum Cypherpunk Manifesto

It's 2024. Privacy is facing a severe crisis. Security has never been so fragile as it is today. Censorship resistance is at stake. I'm sitting here writing this manifesto with great concern that we are losing the principles that brought us here. This is an attempt to reunite. To refocus on what is really important. Let's get back to the roots.

Apr 17, 2024
How 🐍Vyper Compiles Into Bytecode

gm 🐍snekooors, as you all well know, Vyper is a contract-oriented Pythonic programming language that is targeting the Ethereum Virtual Machine (EVM). But do you guys know about the inner workings of the Vyper compiler itself? This blog attempts to shed some light on how the Vyper compiler itself works and delves into the different layers of the compilation phases.

Dec 2, 2023
Read more from pcaversaccio
Published on HackMD