Once exposed, a secret loses all its power. 一旦泄露，秘密就失去了全部威力 ― Ann Aguirre

本文将带你亲自上手实践，在短时间内迅速入门 libsnark，一步步了解 libsnark 的基本概念，学会如何开发 zk-SNARKs 电路。

本系列文章来源于作者在斯坦福著名的课程《CS 251: Cryptocurrencies and blockchain technologies》上的学习笔记。

本文比较简洁明了的解释zk-SNARK 技术，以助于不具备任何与之相关的先决知识的读者理解。

要说零知识证明真正火热的出现在大家的视野里，其实还要从比特币开始说起。

作者： p0n1 来源：安比实验室（id:secbitlabs） 编者注：原标题为《链上富人寻「隐私」记（一：Mixer 篇）》   一篇文章让我彻底暴露了。什么能拯救，零知识证明？！ 最近有人说，谁掌握了区块...

本文说明了零知识证明背后的机制原理，希望帮助大家理解这一类「现代密码学工具」的大致轮廓。本文约8000字，少量数学公式。

相信很多人都听说过零知识证明，但是只有极少数人听说过模拟，然而模拟是理解零知识的关键。

零知识证明是构建信任的重要技术，也是区块链这个有机体中不可缺少的一环。

一场由 Solidity 语言之父 Chris 两年前随手贴的一段代码而引发的血案。

本文面向有一定密码学基础，或者对密码学感兴趣的读者。文中虽有大量数学公式出现，但都比较简单不难理解。   导言：zkPoD 是什么？   zkPoD 实现了去中心化的「零知识有条件支付」，支持上 G...

在区块链领域里面，凡是套用传统方法的方案，无一胜出，唯有创新才有未来。 ——郭宇 相信各位和我一样，今天被 Facebook 刷爆朋友圈。 Facebook 发起的加密数字货币项目 Libra 今天（6月18日）正式公开...

区块链到底有什么用？ 针对这个问题，以太坊基金会成员 Virgil Griffith 曾以以太坊为例，提出了一个让人眼前一亮的观点[t1]： Ethereum is an unprecedented arena for playing cooperative games（以太坊是...

11月16日凌晨2:16分，BCH在第556767个块高度发生硬分叉，分叉大战落下帷幕，分成了BCH ABC和BCH SV两个阵营。 在此次此次硬分叉中，BCH ABC和BCH SV双方都没有进行“重放保护”。也就是...

从诞生至今，形式化验证（Formal Verification）方法一直与“小众、冷门”等字眼挂钩。有人说形式化验证方法是一种“军用级别”的防黑客手段，更是为这项技术增添了一丝神秘感。 究竟什么是形式化验证方法？ ...

摘要： 无论是 Fomo3D 山寨版还是正宗原版都摆脱不了“一轮就凉凉”的宿命，这与其智能合约的设计漏洞不无关系。本文从合约安全开发的角度出发，详细分析了类 Fomo3D 游戏的两个问题，并提出若干个可能的解决...

比特币地址有 1 打头地址 ，也有 3 打头的地址，这两者有什么区别吗？ 在哪种情况下，地址上的比特币会被锁死？ 到底是谁拥有比特币的控制权，是你？还是你的钱包？ 如果你在使用比特币钱包，但...

北京时间 9 月 24 日深夜 11 点 32 分，Fomo3D 第二轮最终大奖由地址 0x18a0 获得，奖金为 3,264.668 Ether。安比（SECBIT）实验室分析发现，此轮游戏获奖技巧与第一轮如出一辙，均为黑客“阻塞交易”攻击。...

8 月 22 日，一个名不见经传的游戏 God.Game 发出通告，声称遭遇黑客攻击，游戏内的以太币被黑客全部转走。这一消息一时间传遍各大媒体以及讨论群，人们在质疑相关游戏安全性之余，也在揣测项目方动机，一时间难以...

Fomo3D 游戏第一轮正式结束，最终大奖由地址 0xa169 获得，奖金额高达 10,469.66 以太币。 不少人轻易得出结论：获奖者平平无奇。 安比（SECBIT）实验室昨日首个发现 Fomo3D 大奖获得者采取一些“特...