# 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
- https://taiko.mirror.xyz/9kGUby8h_dyu-t8jcPkDADfbWUMJw3mlGxvZAZk9sV0

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.

4/17/2024gm π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.

12/2/2023
Published on ** HackMD**

or

By clicking below, you agree to our terms of service.

Sign in via Facebook
Sign in via Twitter
Sign in via GitHub
Sign in via Dropbox
Sign in with Wallet

Wallet
(
)

Connect another wallet
New to HackMD? Sign up