全部 以太坊 比特币 Solana 公链 Solidity合约 Web3应用 编程语言 安全 密码学 科普 其他

零知识证明 - Groth16计算详解

Groth16算法是zkSNARK的典型算法，目前在ZCash，Filecoin，Coda等项目中使用。本文从计算量的角度详细分析Groth16计算。Groth16计算分成三个部分：Setup针对电路生成Pk/Vk（证明/验证密钥），Prove在给定witness/statement的情况下生成证明，Verify通过Vk验证证明是否正确。
零知识证明  Groth16  zkSNARK 
  • Star Li
  • 发布于 2019-12-19
  • 阅读 ( 13188 )
  • ( 20 )

零知识证明-R1CS导入导出

玩过zkSNARK的小伙伴都知道，R1CS是目前描述电路的一种语言。目前实现zkSNARK电路的框架有libsnark（C++），bellman (Rust)，ZoKrates（DSL），Circom（js）等等。有的时候，需要将一个框架中生成的电路，导入其他框架。网络上研究了一下，发现两个有意思的项目。
零知识证明  R1CS  zkSNARK 
  • Star Li
  • 发布于 2019-12-06
  • 阅读 ( 9647 )
  • ( 20 )

EIP文档 - EIP 20: ERC-20 代币标准（Token Standard）

代币（Token）的标准接口。
EIP 

以太坊改进提案（EIPs翻译) - 首页

以太坊改进提案（EIPs）描述了以太坊平台的标准，包括核心协议规范，客户端 API和合同标准。 任何人都可以参与以太坊的改进，参与的方式是向以太坊EIPs GitHub库提交改进提案的pull request，大家可以阅读EIP-1 了解如何提交改进提案。
EIP 

区块链共识机制之工作量证明(POW)

像比特币、以太坊、NXT、Bitshares等这些区块链系统，其本质上是一种加密经济组织，它建立在点对点网络上，是去中心化、无管辖的，由密码学、经济学和社会共识来共同维护。这些加密网络因各种原因有着多种不同的风格——有些基于ASIC的工作量证明（PoW）、有些基于GPU的工作量证明、有些原生权益证明（PoS）、有些授权股权证明（DPOS）、还有我们即将见到的Casper权益证明——这些不同的风格都有着他们的哲学，在学习共识机制的时候，更重要的是理解其中的思想。
共识  比特币 
  • 影无双
  • 发布于 2019-11-20
  • 阅读 ( 13531 )
  • ( 20 )

Cosmos SDK 中文文档 - 首页

SDK 介绍：从“高层”了解Cosmos SDK. SDK 开发教程: 一个学习 SDK 的教程。它展示了如何从头开始基于 sdk 构建区块链, 并在此过程中解释了 SDK 的基本原理。 开发资源
Cosmos 

零知识证明-Mixer(混币)应用分析

交易隐私是零知识证明的一个应用方向。除了通过公链或者侧链实现交易的发送方/接收方以及金额隐藏外，Mixer，江湖人称“混币”，是在已有公链上实现交易的发送方的隐藏（匿名）。Mixer，就是将一些账户的资金“混”在一起，由公开的第三方代替发送方发起转账。这个第三方，被称为Mixer或者Relayer。本文分析以太坊上的三个Mixer项目的设计和性能。
零知识证明  Mixer  MicroMix  Tornado.cash 
  • Star Li
  • 发布于 2019-11-14
  • 阅读 ( 10069 )
  • ( 20 )

零知识证明学习资料汇总

本文收集了关于零知识证明的一些学习资料（包括科普文章，论文，开源仓库及相关学习网站等），并对这些资源进行了整理分析，希望能对大家有所帮助。
零知识证明  导航 

二层扩容新秀 - ZK Rollup 简介

本文来自PPLabs， PPIO 是为开发者打造的去中心化存储与分发平台，让数据更便宜、更高速、更隐私。官方网站是 https://pp.io。

零知识证明  扩容 
  • PPLabs
  • 发布于 2019-11-07
  • 阅读 ( 16460 )
  • ( 25 )

对央行数字货币(DCEP)的技术研究报告

作者在仔细阅读了人行的数字货币系统的专利后，写的一篇作为一个技术人员或者说区块链从业人员的角度来看DCEP的某些技术细节。
  • Sunrye
  • 发布于 2019-11-06
  • 阅读 ( 29776 )
  • ( 192 )

探索零知识证明系列4 - 亚瑟王的「随机」挑战

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

区块链技术入门-挖矿的7个步骤

本文简洁的一步一步解释在区块链上矿工挖矿的7个步骤。
入门  比特币 
  • 影无双
  • 发布于 2019-10-31
  • 阅读 ( 15779 )
  • ( 22 )

区块链技术入门-区块链是什么

在区块链网络上，数据以区块的形式存储，想象一下有很多存储着数据的区块，它们被链接在一起，这些数据一旦被链接就对链上的任何人都可见，并且再也无法改变了。这是一项具有非凡革新意义的技术，可以用来记录我们能想到的几乎所有数据(如：产权、身份、余额、病历等等)，不用担心被篡改。
入门  比特币  区块链是什么 
  • 影无双
  • 发布于 2019-10-30
  • 阅读 ( 12657 )
  • ( 20 )

区块链入门-51%攻击原理

in  区块链安全问题解析

51%攻击(双花攻击)，因某个矿工或者矿池将一个加密货币多次支付而得名。通常，其目的并不仅是为了重复使用加密货币，而是为了攻击某个区块链网路，破坏它安全性，让它失去人们的信任。
入门  共识安全  51%攻击  比特币 
  • 影无双
  • 发布于 2019-10-30
  • 阅读 ( 12388 )
  • ( 20 )

如果量子计算时代到来，我们的比特币安全吗？

量子时代的到来不可避免，巨大的变革将会带来无尽的机会，区块链、密码学与数字资产安全无疑是未来十年的焦点，请扔掉包袱，与我们一起前行。
量子计算  区块链安全 

CREATE2 在广义状态通道中的使用

君士坦丁堡硬升级中引入了一个新操作码 CREATE2 ，它使用新的方式来计算常见的合约地址，让生成的合约地址更具有可控性，通过 CREATE2 可以延伸出很多新的玩法，这篇文章来探讨下，在广义状态通道中的妙用。

扩容  CREATE2 
  • Tiny熊
  • 发布于 2019-10-23
  • 阅读 ( 9620 )
  • ( 20 )

路印3.0：使用零知识证明提升去中心化的交易性能

Loopring，路印，一直专注在高性能的去中心化交易（DEX）协议。路印协议的目标是想实现以太坊上基于订单撮合的去中心化的交易协议。从2017年，路印从“环路撮合”的最初设计，经过了1.0，2.0以及3.0的三个大的版本的协议升级。1.0/2.0，相对来说，受限以太坊本身性能的限制，交易流程复杂，体验和中心化交易所相比，有较大的差距。路印协议3.0，是一种大胆的设计和尝试，通过零知识证明技术（ZKP），兼顾去中心化和交易性能。
零知识证明  DEX  DeFi 
  • Star Li
  • 发布于 2019-10-22
  • 阅读 ( 9808 )
  • ( 20 )

Libra 中文文档 - 首页

Libra 区块链的目标是成为金融服务的坚实基础，已满足全球数十亿人日常财务需求的全新的全球货币。Libra 区块链是从零开始构建，其优先考虑扩展性、安全性、存储、吞吐量效率及未来的适应性
Libra  Libra文档 

Devcon5 有哪些开发者应该了解的内容

Devcon 是以太坊年度开发者大会，每年的大会会介绍以太坊的最新发展以及开发者生态情况，今年是第五届，10月8日至11日在日本大阪举行，今年的主题主要围绕 ETH2.0 、DeFi以及ETH1.0 上的扩容。
DEVCON 
  • Tiny熊
  • 发布于 2019-10-16
  • 阅读 ( 7760 )
  • ( 20 )

Solidity 中 bytes类型如何转换为整型 uint

代码示例
bytes  Solidity 
  • Tiny熊
  • 发布于 2019-10-16
  • 阅读 ( 12231 )
  • ( 25 )