#proofs
Proofs Should Repair Themselves(galois.com)
2021-2-25 23:17弗兰克·鲍姆（L. Frank Baum）在1900年出版的《绿野仙踪》中讲述了一个会引起任何软件工程师共鸣的故事。一名名叫尼克·克珀（Nick Chopper）的wood夫遭受了一系列的工作场所事故。反过来，他的手臂，腿部，身体，甚至他的头部都被金属假肢代替。最终，剩下的是一个完全不同的锡制男人。
像鲍姆（Bau......
Zero-Knowledge Proofs for Engineers: Introduction(blog.zkga.me)
2020-8-12 22:14
在这篇文章中，我们将讨论zkSNARK，这是一种特殊的零知识证明品牌，在区块链领域变得越来越重要。
我们将介绍它们是如何使用的以及它们有什么用处，并且我们将看一下名为Circom的snark构建语言中的基本zkSNARK。
我们假设您以前遇到过素数域，并且记住了它们的基本属性。如果您可以在\(\mathbb{F}_7......
Twenty Proofs of Euler's Formula: V-E+F=2(www.ics.uci.edu)
2020-6-21 16:32数学中的许多定理都足够重要，以至于它们以惊人的多种不同方式被反复证明。这方面的例子包括无穷多个素数的存在性、zeta(2)的求值、代数基本定理(多项式有根)、二次互易性(一种检验算术级数是否包含平方的公式)和毕达哥拉斯定理(根据威尔斯的说法，毕达哥拉斯定理至少有367个证明)。这种情况有时也会发生在无关紧要的定理中，......