分布式系统的状态分片设计与密码学的成员证明设计相结合,实现以太坊 2.0 在性能上突破。
- 文章27
- 收到的评论
- 最新
- 热门
云中「秘密」:构建非交互式零知识证明---探索零知识证明系列(五)
Once exposed, a secret loses all its power. 一旦泄露,秘密就失去了全部威力 ― Ann Aguirre
技术干货 | 零知识证明Learn by Coding:libsnark 入门篇
本文将带你亲自上手实践,在短时间内迅速入门 libsnark,一步步了解 libsnark 的基本概念,学会如何开发 zk-SNARKs 电路。
浅谈零知识证明:简短无交互证明(SNARK)
本系列文章来源于作者在斯坦福著名的课程《CS 251: Cryptocurrencies and blockchain technologies》上的学习笔记。
从零开始学习 zk-SNARK(一)——多项式的性质与证明
本文比较简洁明了的解释zk-SNARK 技术,以助于不具备任何与之相关的先决知识的读者理解。
零知识证明学习笔记:背景与起源
要说零知识证明真正火热的出现在大家的视野里,其实还要从比特币开始说起。
链上富人寻「隐私」记:Mixer篇
作者: p0n1 来源:安比实验室(id:secbitlabs) 编者注:原标题为《链上富人寻「隐私」记(一:Mixer 篇)》 一篇文章让我彻底暴露了。什么能拯救,零知识证明?! 最近有人说,谁掌握了区块链技术就掌握了财富。好吧,我摊牌了,我就是一个这样的「链上富人」。 10 月底,在最爱的橙皮书公众号里看到了自己,心里却不是滋味,背后甚至有些发凉。Bowen 的一篇文章——「Top 10 DeFi 大户的链上人生」让我彻底暴露了。 我被描绘成了大户。我可不喜欢这...
零知识证明探索 | 亚瑟王的「随机」挑战:从交互到非交互式零知识证明
本文说明了零知识证明背后的机制原理,希望帮助大家理解这一类「现代密码学工具」的大致轮廓。本文约8000字,少量数学公式。
探索零知识证明系列 | 从「模拟」理解零知识证明:平行宇宙与时光倒流
相信很多人都听说过零知识证明,但是只有极少数人听说过模拟,然而模拟是理解零知识的关键。
区块链入门 | 探索零知识证明系列(一):初识「零知识」与「证明」
零知识证明是构建信任的重要技术,也是区块链这个有机体中不可缺少的一环。
zkSNARKs 合约库「输入假名」漏洞,众多混币项目爆雷
一场由 Solidity 语言之父 Chris 两年前随手贴的一段代码而引发的血案。
PoD-Tiny——实现零信任交易的最简协议
本文面向有一定密码学基础,或者对密码学感兴趣的读者。文中虽有大量数学公式出现,但都比较简单不难理解。 导言:zkPoD 是什么? zkPoD 实现了去中心化的「零知识有条件支付」,支持上 GB 数据的零信任公平交易。关于「零知识有条件支付」的概念请看这篇概述文章 『zkPoD:区块链,零知识证明与形式化验证,实现无中介、零信任的公平交易』。 zkPoD 是一个全新的实现 ZKCP 目标的方案。目前 zkPoD 已经支持上 GB 的数据,支持...
Move语言:我眼中的 Libra 最大亮点
在区块链领域里面,凡是套用传统方法的方案,无一胜出,唯有创新才有未来。 ——郭宇 相信各位和我一样,今天被 Facebook 刷爆朋友圈。 Facebook 发起的加密数字货币项目 Libra 今天(6月18日)正式公开亮相。Libra 同步发布了多语言官网和白皮书,定位为面向数十亿人的全球货币和金融服务基础设施。Libra 还发布了多个技术白皮书,详细介绍了其新开发的编程语言 Move 和共识协议 LibraBFT。Libra 源码已在 GitHub 开源,测试网络也已上线。...
为什么说区块链是一座全新的博弈竞技场?
区块链到底有什么用? 针对这个问题,以太坊基金会成员 Virgil Griffith 曾以以太坊为例,提出了一个让人眼前一亮的观点[t1]: Ethereum is an unprecedented arena for playing cooperative games(以太坊是前所未有的合作博弈竞技场)。 区块链和博弈论是两个不同的领域,乍一看似乎并没有太大的关联性,但事实并非如此。几乎所有的博弈论经典案例都可以借助区块链构建出新的博弈关系。Virgil Griffit...
BCH硬分叉背后:“重放攻击”下的用户自救指南
11月16日凌晨2:16分,BCH在第556767个块高度发生硬分叉,分叉大战落下帷幕,分成了BCH ABC和BCH SV两个阵营。 在此次此次硬分叉中,BCH ABC和BCH SV双方都没有进行“重放保护”。也就是说,此次分叉后,理论上,重放攻击将有可能导致任何一方发生共识崩塌和算力归零。 何谓“重放攻击” 传统计算机术语中,重放攻击(Replay Attacks)又称重播攻击、回放攻击,是指攻击者发送一个目的主机已接收过的数据包,来达到欺骗系统的目的。重放攻击在任何网络...
Don’t Test, Verify:哪个故事真正符合你对形式化验证的想象?
从诞生至今,形式化验证(Formal Verification)方法一直与“小众、冷门”等字眼挂钩。有人说形式化验证方法是一种“军用级别”的防黑客手段,更是为这项技术增添了一丝神秘感。 究竟什么是形式化验证方法? 维基百科对形式化验证的解释是这样的: 在计算机硬件(特别是集成电路)和软件系统的设计过程中,形式化验证的含义是根据某个或某些形式化规范或属性,使用数学的方法证明其正确性或非正确性。 神秘感大抵来源于定义中的两个严谨而且抽象的关键词——“形式化规范”和“数学方法证明”。事实上,揭开这层神秘的面纱,你会发现形式化验证的许多有趣之处。 ...
类Fomo3D游戏漏洞与修复机制全解析
摘要: 无论是 Fomo3D 山寨版还是正宗原版都摆脱不了“一轮就凉凉”的宿命,这与其智能合约的设计漏洞不无关系。本文从合约安全开发的角度出发,详细分析了类 Fomo3D 游戏的两个问题,并提出若干个可能的解决方案。希望能有所帮助,欢迎感兴趣的朋友加入技术社区讨论(wx添加小安同学:secbit_xiaoanbi,加入“SECBIT智能合约安全技术讨论”社群)。 黑客攻击之下,类 Fomo3D 游戏一蹶不振 Fomo3D 游戏已正式进入第三轮。截止北京时间 9 月 29 日上午 ...
BTC地址与交易原理大剖析:是谁控制了比特币,是你?还是钱包?
比特币地址有 1 打头地址 ,也有 3 打头的地址,这两者有什么区别吗? 在哪种情况下,地址上的比特币会被锁死? 到底是谁拥有比特币的控制权,是你?还是你的钱包? 如果你在使用比特币钱包,但却无法回答上面三个问题,那么这篇文章是为你而写。 安比(SECBIT)实验室在对数字钱包源码审计时,发现一个名为 pywallet 的比特币钱包开源库包含了一个严重缺陷。如果向 pywallet 生成的 OmniLayer 收款地址转账,将导致资产永久丢失。 据安比(SE...
Fomo3D二轮大奖开出,黑客获奖,机制漏洞成游戏没落主因
北京时间 9 月 24 日深夜 11 点 32 分,Fomo3D 第二轮最终大奖由地址 0x18a0 获得,奖金为 3,264.668 Ether。安比(SECBIT)实验室分析发现,此轮游戏获奖技巧与第一轮如出一辙,均为黑客“阻塞交易”攻击。 与此前第一轮游戏相比,这轮游戏持续 33 天,无论是从入场资金、持续时长,亦或是最终大奖奖金额来说,相比上轮均大幅缩水。 回首两月之前,Fomo3D第一轮游戏入场资金一度超过 40,000 Ether,第一轮游戏最终大奖奖金额超过 10,000...
God.Game 漏洞复盘:跑路还是黑客攻击?
8 月 22 日,一个名不见经传的游戏 God.Game 发出通告,声称遭遇黑客攻击,游戏内的以太币被黑客全部转走。这一消息一时间传遍各大媒体以及讨论群,人们在质疑相关游戏安全性之余,也在揣测项目方动机,一时间难以分清到底是黑客攻击,还是游戏开发方留有后门跑路。 安比(SECBIT)实验室的小伙伴在得到消息后,迅速开展了追踪分析。 God.Game 简单规则如下:GOD 股份购买的所有数量的 10% 被征税并且作为被动的 ETH 收入分配给所有GOD所有者。 通过游戏官网规则,...

法规研究 | 印度GST法案对比特币有什么影响?
FIL挖矿防坑指南(一)
联盟分析-政策法规 | 浅谈阿布扎比加密货币监管政策
美国CFPB申请获得金融科技公司特许权,OCC署长反对
牛市来了,矿工赚翻了没?