安比（SECBIT）实验室 浏览量 167.6万 获赞数 12 粉丝数 57
致力于参与共建共识、可信、有序的区块链经济体。
  • 文章27
  • 收到的评论
  • 最新
  • 热门

链上富人寻「隐私」记：Mixer篇

作者： p0n1 来源：安比实验室（id:secbitlabs） 编者注：原标题为《链上富人寻「隐私」记（一：Mixer 篇）》   一篇文章让我彻底暴露了。什么能拯救，零知识证明？！ 最近有人说，谁掌握了区块链技术就掌握了财富。好吧，我摊牌了，我就是一个这样的「链上富人」。 10 月底，在最爱的橙皮书公众号里看到了自己，心里却不是滋味，背后甚至有些发凉。Bowen 的一篇文章——「Top 10 DeFi 大户的链上人生」让我彻底暴露了。 我被描绘成了大户。我可不喜欢这...

安比（SECBIT）实验室
匿名混合器 零知识证明
海盗号

PoD-Tiny——实现零信任交易的最简协议

本文面向有一定密码学基础，或者对密码学感兴趣的读者。文中虽有大量数学公式出现，但都比较简单不难理解。   导言：zkPoD 是什么？   zkPoD 实现了去中心化的「零知识有条件支付」，支持上 GB 数据的零信任公平交易。关于「零知识有条件支付」的概念请看这篇概述文章 『zkPoD：区块链，零知识证明与形式化验证，实现无中介、零信任的公平交易』。 zkPoD 是一个全新的实现 ZKCP 目标的方案。目前 zkPoD 已经支持上 GB 的数据，支持...

安比（SECBIT）实验室
零知识证明
海盗号

Move语言：我眼中的 Libra 最大亮点

在区块链领域里面，凡是套用传统方法的方案，无一胜出，唯有创新才有未来。 ——郭宇 相信各位和我一样，今天被 Facebook 刷爆朋友圈。 Facebook 发起的加密数字货币项目 Libra 今天（6月18日）正式公开亮相。Libra 同步发布了多语言官网和白皮书，定位为面向数十亿人的全球货币和金融服务基础设施。Libra 还发布了多个技术白皮书，详细介绍了其新开发的编程语言 Move 和共识协议 LibraBFT。Libra 源码已在 GitHub 开源，测试网络也已上线。...

安比（SECBIT）实验室
Facebook Libra Move
海盗号

为什么说区块链是一座全新的博弈竞技场？

区块链到底有什么用？ 针对这个问题，以太坊基金会成员 Virgil Griffith 曾以以太坊为例，提出了一个让人眼前一亮的观点[t1]： Ethereum is an unprecedented arena for playing cooperative games（以太坊是前所未有的合作博弈竞技场）。 区块链和博弈论是两个不同的领域，乍一看似乎并没有太大的关联性，但事实并非如此。几乎所有的博弈论经典案例都可以借助区块链构建出新的博弈关系。Virgil Griffit...

安比（SECBIT）实验室
区块链 区块链金融
海盗号

BCH硬分叉背后：“重放攻击”下的用户自救指南

11月16日凌晨2:16分，BCH在第556767个块高度发生硬分叉，分叉大战落下帷幕，分成了BCH ABC和BCH SV两个阵营。 在此次此次硬分叉中，BCH ABC和BCH SV双方都没有进行“重放保护”。也就是说，此次分叉后，理论上，重放攻击将有可能导致任何一方发生共识崩塌和算力归零。 何谓“重放攻击” 传统计算机术语中，重放攻击(Replay Attacks)又称重播攻击、回放攻击，是指攻击者发送一个目的主机已接收过的数据包，来达到欺骗系统的目的。重放攻击在任何网络...

安比（SECBIT）实验室
比特币现金分叉

Don’t Test, Verify：哪个故事真正符合你对形式化验证的想象？

从诞生至今，形式化验证（Formal Verification）方法一直与“小众、冷门”等字眼挂钩。有人说形式化验证方法是一种“军用级别”的防黑客手段，更是为这项技术增添了一丝神秘感。 究竟什么是形式化验证方法？ 维基百科对形式化验证的解释是这样的： 在计算机硬件（特别是集成电路）和软件系统的设计过程中，形式化验证的含义是根据某个或某些形式化规范或属性，使用数学的方法证明其正确性或非正确性。 神秘感大抵来源于定义中的两个严谨而且抽象的关键词——“形式化规范”和“数学方法证明”。事实上，揭开这层神秘的面纱，你会发现形式化验证的许多有趣之处。 ...

安比（SECBIT）实验室
形式化验证

类Fomo3D游戏漏洞与修复机制全解析

摘要： 无论是 Fomo3D 山寨版还是正宗原版都摆脱不了“一轮就凉凉”的宿命，这与其智能合约的设计漏洞不无关系。本文从合约安全开发的角度出发，详细分析了类 Fomo3D 游戏的两个问题，并提出若干个可能的解决方案。希望能有所帮助，欢迎感兴趣的朋友加入技术社区讨论（wx添加小安同学：secbit_xiaoanbi,加入“SECBIT智能合约安全技术讨论”社群）。 黑客攻击之下，类 Fomo3D 游戏一蹶不振 Fomo3D 游戏已正式进入第三轮。截止北京时间 9 月 29 日上午 ...

安比（SECBIT）实验室
FOMO3D

BTC地址与交易原理大剖析：是谁控制了比特币，是你？还是钱包？

比特币地址有 1 打头地址 ，也有 3 打头的地址，这两者有什么区别吗？ 在哪种情况下，地址上的比特币会被锁死？ 到底是谁拥有比特币的控制权，是你？还是你的钱包？ 如果你在使用比特币钱包，但却无法回答上面三个问题，那么这篇文章是为你而写。 安比（SECBIT）实验室在对数字钱包源码审计时，发现一个名为 pywallet 的比特币钱包开源库包含了一个严重缺陷。如果向 pywallet 生成的 OmniLayer 收款地址转账，将导致资产永久丢失。 据安比（SE...

安比（SECBIT）实验室
比特币 钱包

Fomo3D二轮大奖开出，黑客获奖，机制漏洞成游戏没落主因

北京时间 9 月 24 日深夜 11 点 32 分，Fomo3D 第二轮最终大奖由地址 0x18a0 获得，奖金为 3,264.668 Ether。安比（SECBIT）实验室分析发现，此轮游戏获奖技巧与第一轮如出一辙，均为黑客“阻塞交易”攻击。 与此前第一轮游戏相比，这轮游戏持续 33 天，无论是从入场资金、持续时长，亦或是最终大奖奖金额来说，相比上轮均大幅缩水。 回首两月之前，Fomo3D第一轮游戏入场资金一度超过 40,000 Ether，第一轮游戏最终大奖奖金额超过 10,000...

安比（SECBIT）实验室
FOMO3D

God.Game 漏洞复盘：跑路还是黑客攻击？

8 月 22 日，一个名不见经传的游戏 God.Game 发出通告，声称遭遇黑客攻击，游戏内的以太币被黑客全部转走。这一消息一时间传遍各大媒体以及讨论群，人们在质疑相关游戏安全性之余，也在揣测项目方动机，一时间难以分清到底是黑客攻击，还是游戏开发方留有后门跑路。 安比（SECBIT）实验室的小伙伴在得到消息后，迅速开展了追踪分析。 God.Game 简单规则如下：GOD 股份购买的所有数量的 10％ 被征税并且作为被动的 ETH 收入分配给所有GOD所有者。 通过游戏官网规则，...

安比（SECBIT）实验室
God.Game
热门文章 查看更多

FIL挖矿防坑指南（一）
2021-01-05

联盟分析-政策法规 | 浅谈阿布扎比加密货币监管政策
2020-12-28

美国CFPB申请获得金融科技公司特许权，OCC署长反对
2021-01-07

牛市来了，矿工赚翻了没?
2021-01-08
下载
咨询