# Magic or Science? #### Math in the dark (homomorphic encryption) homomorphic encryption is a special kind that, apart from keeping data secret, also allows arithmetics (e.g. + - x %) on the encrypted data and operand. This means we can secretly subtract the museum's artifact balance and add it to your secret vault balance without revealing the actual number. #### Enforcing rules in secret (zkSNARK) zero-knowledge-proof technologies allow users to proof statements without revealing any extra information. This means we can prove that the amount of artifacts that users steal is equal to the amount they add to their vault without revealing the actual numbers. zkSNARK is a zero-knowledge-proof technology that can be proven in smart contracts efficiently. Here are resources if you want to learn about the technology seriously. * --- # Agent Instructions: Querying This Documentation If you need additional information that is not directly available in this page, you can query the documentation dynamically by asking a question. Perform an HTTP GET request on the current page URL with the `ask` query parameter: ``` GET https://tetration-lab.gitbook.io/whitepaper/museum-heist/secret-behind-secret-heist/magic-or-science.md?ask= ``` The question should be specific, self-contained, and written in natural language. The response will contain a direct answer to the question and relevant excerpts and sources from the documentation. Use this mechanism when the answer is not explicitly present in the current page, you need clarification or additional context, or you want to retrieve related documentation sections.