#proof
2021-6-16 10:53
Celo如何用拜占庭的容错，股权证明和奖励来恢复以太坊，以服务移动设备
Cylo的目标是让世界任何地方的任何人都能获得金融服务，汇款到电话号码，并支付商人的智能手机，并在社区开发和运营的分散平台上汇款。该项目的表面积越来越迅速，更快地提供更好的产品，我们选择建立在一些加密社区的最佳工作中。
Cylo的区块链参考......
2021-3-20 10:0
包括科技巨头和医疗保健提供商的联盟正准备发布验证有人是否有Covid-19疫苗的全球标准。
疫苗接种凭证倡议标准将包含数字已验证的临床数据，名称和出生日期可以显示为机器可读QR码。
开源标准在下个月发布后，他们可以集成到移动应用程序中，即人们可以用来验证他们已接种疫苗，以获得办公室，餐馆，酒吧，娱乐场所和其他......
Proof of Personhood(en.wikipedia.org)
2021-1-5 4:57跳转到导航跳转到人格证明（PoP）是一种用于无许可共识的参与和Sybil抵抗攻击的方法，其中，每个唯一的人类参与者都获得一个相等的投票权单位和相关的奖励。与工作量证明，股权证明和其他方法在参与者在某种活动或资源上的投资成比例地赋予区块链或加密货币投票权和奖励的其他方法相比，人格证明旨在保证每个唯一的人类参与者平等的投......
Why Proof of Stake?(vitalik.ca)
2020-11-7 11:3与POW相比，POS是一种优越的区块链安全机制有三个关键原因。
要了解这一点，最简单的方法是将赌注证明和工作证明并排放在一起，看看每天每1美元攻击一个网络需要多少块奖励。
你可以便宜地租用GPU，所以攻击网络的成本就是租用足够的GPU能力来超越现有矿工的成本。对于每1美元的大宗奖励，现有矿商应该花费近1美元的成本(如......
We collected all the proof of lies by WhiteHat Junior(www.reddit.com)
2020-10-11 18:0
第一级我很惊讶地看到在印度愚弄父母是多么容易，包括那些受过良好教育的富裕父母，他们把孩子送到像小怀特哈特这样的垃圾，认为一些小孩子在谷歌得到了150cr的人工智能工作机会。
即使是谷歌研究员中的一些L10&39；也很难获得这样的补偿。这些都是该领域的绝对传奇人物，他们来自最好的地方，拥有数十年的世界级研究经验，正是这......
How Gödel’s Proof Works(www.quantamagazine.org)
2020-7-15 2:25
1931年，奥地利逻辑学家库尔特·哥德尔(Kurt Gödel)取得了可以说是历史上最令人惊叹的智力成就之一。
那个时代的数学家为数学寻找坚实的基础：一套基本的数学事实或公理，既是一致的-永远不会导致矛盾-又是完整的，作为所有数学真理的基石。
但哥德尔在25岁时发表的令人震惊的不完全性定理粉碎了这一梦想。他证明，任何......
2020-5-5 4:26
UBIC还没有在任何交易所上市，但我们正在努力，希望到2020年年中至少有一家交易所上市。
为了兼容，护照不应过期或在过期前不久(少于3个月)。它还必须是由下列国家之一签发的护照：
有了UBIC，每个区块都会支付普遍红利，这意味着你每隔几分钟就会收到少量的UBIC。
不！硬币的发射是线性的，在每个块中都会铸造恒定数量......
“Every proof assistant” online lecture(math.andrej.com)
2020-5-2 17:51一段时间以来，我一直在考虑举办一系列名为“万能证明助手”的研讨会，专门针对所有不同的证据助手。除了现有的助手(Isabelle/HOL，CoQ，AGDA，Lean)之外，还有其他有趣的实验验证助手，还有一些还在开发中，或者只是概念的证明。我想更多地了解他们，我想我不是唯一的一个。
让证明助理的作者前往卢布尔雅那，并在......