从零开始学习 zk-SNARK(一)——多项式的性质与证明

偶然一次机会,看到了 Maksym Petkus 的这篇文章。文章从最基本的多项式性质讲起,从一个简单易懂的证明协议开始,然后像堆积木一样在发现问题,修改问题中逐步去完善协议,直到最终构造出完整的 zk-SNARK 协议。于是想把它翻译出来(已获得作者授权),一方面加深自己的学习,另一方面也将这份宝藏分享给小伙伴们。

2141次阅读  |  4年以前  |  阅读全文 »
以太坊交易回执-Receipt

不同于比特币,以太坊作为智能合约平台。每一笔交易作为消息在以太坊虚拟机中执行时,均会获得一个交易回执信息(Receipt)。形同在银行转账后,可以获得关于这笔转账的交易电子回单。

2800次阅读  |  4年以前  |  阅读全文 »
以太坊创世区块

创世区块作为第零个区块,其他区块直接或间接引用到创世区块。 因此节点启动之初必须载入正确的创世区块信息,且不得任意修改。

1951次阅读  |  4年以前  |  阅读全文 »
以太坊基础配置

以太坊的基础配置用于服务于链,启动以太坊节点,则需要将链配置载入。 因此,在以太坊中内置了主网(mainnet)、测试网(testnet)、Rinkeby、Goerli网络中链配置。

2715次阅读  |  4年以前  |  阅读全文 »
详解以太坊默克尔压缩前缀树-MPT

MPT 全称是 Merkle Patricia Trie 也叫 Merkle Patricia Tree,是 Merkle Tree 和 Patricia Tree 的混合物。 Merkle Tree(默克尔树) 用于保证数据安全,Patricia Tree(基数树,也叫基数特里树或压缩前缀树) 用于提升树的读写效率。

3083次阅读  |  4年以前  |  阅读全文 »
去中心化交易所(DEX)协议整理

本文整理了目前主流的数字资产去中心化交易所协议

4297次阅读  |  4年以前  |  阅读全文 »
公链vs联盟链,哈耶克与凯恩斯之争

回归到主题,我们应该提倡自由经济还是中心化管控,区块链应该是采用公链还是联盟链?让我们再来分析一下各自的利弊。

1618次阅读  |  4年以前  |  阅读全文 »
【译】完全理解以太坊智能合约

这篇文章是我看到的介绍以太坊智能合约原理最经典的文章,尤其是后半部分,作者原作者 Gjermund Bjaanes。

2130次阅读  |  4年以前  |  阅读全文 »
Substrate 入门(5)- 区块头
1900次阅读  |  4年以前  |  阅读全文 »
墨客区块链(MOAC BlockChain) 助记词

虽然助记词和 Keystore 都可以作为私钥的另一种表现形式, 但与 Keystore 不同的是, 助记词是未经加密的私钥, 没有任何安全性可言, 任何人得到了你的助记词, 可以不费吹灰之力的夺走你的资产。

2765次阅读  |  4年以前  |  阅读全文 »
关于学分

学分是深入浅出区块链社区的积分激励形式

1880次阅读  |  4年以前  |  阅读全文 »
深入浅出区块链社区公约
1703次阅读  |  4年以前  |  阅读全文 »
高精度定位网络PAS的经济模式_RTK基站网络共享奖励模式

墨客的一个重要的应用项目是PAS系统。PAS的全称是Planet Accuracy Simpler。PAS是一个提供厘米级定位精度及纳秒级时间精度的高精度定位网络。

1862次阅读  |  4年以前  |  阅读全文 »
漫谈区块链共识机制

本文主要讲解了比特币和以太坊的共识机制

1633次阅读  |  4年以前  |  阅读全文 »
详解区块链P2P网络

本文主要讲解了比特币和以太坊的网络结构

1885次阅读  |  4年以前  |  阅读全文 »
MTFS 实时区块链

MTFS,过去要等好久才能确认转账的区块链,现在可以用来做实时支付以及聊天应用了。

1687次阅读  |  4年以前  |  阅读全文 »
零知识证明 Learn by Coding:libsnark 入门篇

libsnark 是目前实现 zk-SNARKs 电路最重要的框架,在众多私密交易或隐私计算相关项目间广泛应用,其中最著名当然要数 Zcash。

2071次阅读  |  4年以前  |  阅读全文 »
以太坊的离线Hash和离线签名(基于C#)
2639次阅读  |  4年以前  |  阅读全文 »
从零开始学习 zk-SNARK(二)——多项式的非交互式零知识证明

目前的证明协议仍然存在一些缺陷,本文将会针对这些薄弱项进行改进,进而最终构造出关于多项式的零知识证明协议。本文重点:KEA,交互式零知识证明,非交互式零知识证明和 Setup。

2416次阅读  |  4年以前  |  阅读全文 »
以太坊账户模型

对比比特币的 “UTXO” 余额模型,以太坊使用“账户”余额模型。 以太坊丰富了账户内容,除余额外还能自定义存放任意多数据。 并利用账户数据的可维护性,构建智能合约账户。

2051次阅读  |  4年以前  |  阅读全文 »
理解以太坊 Gas 燃料和交易手续费

Gas 中译是:瓦斯、汽油,代表一种可燃气体。 这形象地比喻以太坊的交易手续费计算模式,不同于比特币中直接支付比特币作为转账手续费, 以太坊视为一个去中心化的计算网络,当你发送Toke...

2652次阅读  |  4年以前  |  阅读全文 »
开发你自己的Android 授权管理器
3310次阅读  |  5年以前  |  阅读全文 »
为什么需要用 GIT SHA 管理Crash
2970次阅读  |  5年以前  |  阅读全文 »
我们为什么要用fitsSystemWindows?
3407次阅读  |  5年以前  |  阅读全文 »
为什么不仅继承Observale而且使用Observale.create()?
3142次阅读  |  5年以前  |  阅读全文 »
为什么在Android开发中我仍然不想使用Kotlin?
2420次阅读  |  5年以前  |  阅读全文 »
Android 进行单元测试难在哪-part2
1841次阅读  |  5年以前  |  阅读全文 »
Android 进行单元测试难在哪-part1
2013次阅读  |  5年以前  |  阅读全文 »
当复仇者联盟遇上Dragger2、RxJava和Retrofit的巧妙结合
3251次阅读  |  5年以前  |  阅读全文 »
当钢铁侠反应更灵敏-RxJava
3213次阅读  |  5年以前  |  阅读全文 »
Android 进行单元测试难在哪-终
1828次阅读  |  5年以前  |  阅读全文 »
近乎通用的VectorDrawable
2339次阅读  |  5年以前  |  阅读全文 »
通过硬件层提高Android动画的性能
2338次阅读  |  5年以前  |  阅读全文 »
使用Espresso进行UI测试
1834次阅读  |  5年以前  |  阅读全文 »
在Android中使用并发来提高速度和性能
1982次阅读  |  5年以前  |  阅读全文 »
用RxJava替代EventBus
4456次阅读  |  5年以前  |  阅读全文 »
使用Android Studio进行单元测试
2083次阅读  |  5年以前  |  阅读全文 »
RxJava Observables单元测试
3216次阅读  |  5年以前  |  阅读全文 »
使用Mockito对异步方法进行单元测试
2485次阅读  |  5年以前  |  阅读全文 »
LayoutInflater.inflate() 方法剖析
2185次阅读  |  5年以前  |  阅读全文 »
使用Systrace分析UI性能
2190次阅读  |  5年以前  |  阅读全文 »
你可能漏掉的知识点: onResumeFragments
1978次阅读  |  5年以前  |  阅读全文 »
Android圆弧整容之谜
1704次阅读  |  5年以前  |  阅读全文 »
The dark side of Jack and Jill
1630次阅读  |  5年以前  |  阅读全文 »
Ted Mosby - 软件架构
1616次阅读  |  5年以前  |  阅读全文 »
Android 如何直播RTMP流
1688次阅读  |  5年以前  |  阅读全文 »
为什么你应该停止使用EventBus
1649次阅读  |  5年以前  |  阅读全文 »
星球大战:原力觉醒或者用原力粉碎Android的视图
1671次阅读  |  5年以前  |  阅读全文 »
Speed up your app
1740次阅读  |  5年以前  |  阅读全文 »
为什么在Android使用ClassLoader.getResourceAsStream会如此影响性能
1766次阅读  |  5年以前  |  阅读全文 »

Copyright© 2013-2019

京ICP备2023019179号-2