Tornado 龙卷风混币原理
项目背景Tornado(https://tornado.cash/)是以太坊隐私赛道著名的混币项目,其混币技术主要使用了 zk-SNARK 零知识证明。 1、关于 zk-SNARK 零知识证明的原理可以参见 if(DAO) 之前的文章: https://mirror.xyz/0xd05cFA28Eaf8B4eaFD8Cd86d33c6CeD1a1875417/X3qSOjObTknXQ_iGhDBFYETibD0TVW0twz5QDIthjGI 2、混币的意思是混币者通过 Tornado 合约将混币者的以太坊地址和资金去向地址失去关联,从而达到隐匿资金去向的目的。项目原理1、Bob 是第 3 个将自己的代币 Deposit 存入龙卷风合约进行混币的客户。 2、Alice 是第 4 个将自己的代币 Deposit 存入龙卷风合约进行混币的客户。 3、Alice 在 Deposit 时(1)Alice random k4 ,r4。k4 和 r4 in { 0 ,1 } ^ 256。( k4 ,r4 ) 也是 Alice 未来的取款凭证 note4。 (2)Alice 计算得到 C4 ...
Erasure Coding 纠删码原理( Near Protocol )
Erasure Code 是什么1、Erasure Code是一种编码技术,它可以将 n 份原始数据,增加 m 份数据,并能通过n+m份中的任意 n 份数据,还原为原始数据。即如果有任意小于等于 m 份的数据失效,仍然能通过剩下的数据还原出来。 2、纠删码技术在分布式存储系统中的应用主要有三类 (1)RS( Reed-Solomon )里德-所罗门纠删码 (2)AC( Array Code: RAID5、RAID6等)阵列纠删码 (3)LDPC( LowDensity Parity Check Code )低密度奇偶校验纠删码( LDPC 目前主要用于通信、视频和音频编码等领域 )Erasure Code 的优势副本策略和纠删码是存储领域常见的两种数据冗余技术。相比于副本策略,纠删码具有更高的磁盘利用率:RS码原理Reed-Solomon(RS)码是存储系统较为常用的一种纠删码,它有两个参数n和m,记为RS(n ,m)。n 代表原始数据块个数。m代表校验块个数。以n=5,m=3为例 : 1、encoding 编码过程(D是原始数据块,得到的C为校验块,构建 Bi 有专门的数学方法...
顶级加密 VC 成长简史
Multicoin一、基本情况 成立于 2017 年,Kyle Samani 和 Tushar Jain 决定成立一个加密货币对冲基金。他们之前都没有从事过投资工作,更不用说自己经营基金了。除了 2016 年开始的一些聪明的个人投资外(ETH 从 10刀涨到 200 刀),他们没有在该行业的新兴初创公司工作过,也没有建立过协议。简而言之,他们是加密领域的局外人。 但正是局外人使得他们可以在没有偏见的情况下从第一原则进行深入研究和推理。 他们的思路是,要想经营一支真正的基金,需要外部资本(LP),于是他们将一个公寓作为总部,并开始以非主流的方式等待 LP 的降临:“ 激怒某个 Token 的支持者以表达 Multicoin 的观点 ” 成为该基金的一个标志,比如引发了 LTC 和 ETHCash 多头的愤怒,瞬间入圈引来了流量。 怼人博眼球的前提是需要对产品、技术、趋势有着深刻的洞见和表达能力。 整个 2018 年,Multicoin 一直在寻找并赢得新的 LP。随着精明的资本管理以及新投资者的涌入,Multicoin 的管理资产(AUM)在这一年达到了 5000 万美元。但 20...
Tornado 龙卷风混币原理
项目背景Tornado(https://tornado.cash/)是以太坊隐私赛道著名的混币项目,其混币技术主要使用了 zk-SNARK 零知识证明。 1、关于 zk-SNARK 零知识证明的原理可以参见 if(DAO) 之前的文章: https://mirror.xyz/0xd05cFA28Eaf8B4eaFD8Cd86d33c6CeD1a1875417/X3qSOjObTknXQ_iGhDBFYETibD0TVW0twz5QDIthjGI 2、混币的意思是混币者通过 Tornado 合约将混币者的以太坊地址和资金去向地址失去关联,从而达到隐匿资金去向的目的。项目原理1、Bob 是第 3 个将自己的代币 Deposit 存入龙卷风合约进行混币的客户。 2、Alice 是第 4 个将自己的代币 Deposit 存入龙卷风合约进行混币的客户。 3、Alice 在 Deposit 时(1)Alice random k4 ,r4。k4 和 r4 in { 0 ,1 } ^ 256。( k4 ,r4 ) 也是 Alice 未来的取款凭证 note4。 (2)Alice 计算得到 C4 ...
Erasure Coding 纠删码原理( Near Protocol )
Erasure Code 是什么1、Erasure Code是一种编码技术,它可以将 n 份原始数据,增加 m 份数据,并能通过n+m份中的任意 n 份数据,还原为原始数据。即如果有任意小于等于 m 份的数据失效,仍然能通过剩下的数据还原出来。 2、纠删码技术在分布式存储系统中的应用主要有三类 (1)RS( Reed-Solomon )里德-所罗门纠删码 (2)AC( Array Code: RAID5、RAID6等)阵列纠删码 (3)LDPC( LowDensity Parity Check Code )低密度奇偶校验纠删码( LDPC 目前主要用于通信、视频和音频编码等领域 )Erasure Code 的优势副本策略和纠删码是存储领域常见的两种数据冗余技术。相比于副本策略,纠删码具有更高的磁盘利用率:RS码原理Reed-Solomon(RS)码是存储系统较为常用的一种纠删码,它有两个参数n和m,记为RS(n ,m)。n 代表原始数据块个数。m代表校验块个数。以n=5,m=3为例 : 1、encoding 编码过程(D是原始数据块,得到的C为校验块,构建 Bi 有专门的数学方法...
顶级加密 VC 成长简史
Multicoin一、基本情况 成立于 2017 年,Kyle Samani 和 Tushar Jain 决定成立一个加密货币对冲基金。他们之前都没有从事过投资工作,更不用说自己经营基金了。除了 2016 年开始的一些聪明的个人投资外(ETH 从 10刀涨到 200 刀),他们没有在该行业的新兴初创公司工作过,也没有建立过协议。简而言之,他们是加密领域的局外人。 但正是局外人使得他们可以在没有偏见的情况下从第一原则进行深入研究和推理。 他们的思路是,要想经营一支真正的基金,需要外部资本(LP),于是他们将一个公寓作为总部,并开始以非主流的方式等待 LP 的降临:“ 激怒某个 Token 的支持者以表达 Multicoin 的观点 ” 成为该基金的一个标志,比如引发了 LTC 和 ETHCash 多头的愤怒,瞬间入圈引来了流量。 怼人博眼球的前提是需要对产品、技术、趋势有着深刻的洞见和表达能力。 整个 2018 年,Multicoin 一直在寻找并赢得新的 LP。随着精明的资本管理以及新投资者的涌入,Multicoin 的管理资产(AUM)在这一年达到了 5000 万美元。但 20...
Share Dialog
Share Dialog

Subscribe to Ethan - if(DAO)

Subscribe to Ethan - if(DAO)
<100 subscribers
<100 subscribers
Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。
下面是 if(DAO) 对 Hangman 项目的业务逻辑以及零知识证明zk-SNARK应用的浅析。
项目源码入口:https://snappsformina.com/snapp/hangman/
该示例的业务逻辑相对简单:
1、Player1 发布了Snapp合约,并在合约中存储了Mina,然后设置了一段话。
2、Player2 猜测这段话,在规定次数内猜到了,Snapp合约里的Mina会自动付款给 Player2。
1、该示例表明:Mina Snapp可以实现类似于 Ethereum Smart Contract 的功能。
2、该示例中涉及的zk-SNARK:Player1 发布Snapp合约时会编译为proving key留在本地,把verifying key存在链上。如下图所示:

3、当 Player2 猜测一次后,State的改变,无需其他节点链上计算验证,只需要通过verifying key验证 Player1 通过proving key生成的Proof即可判断猜测结果的对错。
Mina 社区的 minacrypto.com 在新网站 snappsformina上发布了在训练营上出现的一些很酷的 Snapp 构想。
下面是 if(DAO) 对 Hangman 项目的业务逻辑以及零知识证明zk-SNARK应用的浅析。
项目源码入口:https://snappsformina.com/snapp/hangman/
该示例的业务逻辑相对简单:
1、Player1 发布了Snapp合约,并在合约中存储了Mina,然后设置了一段话。
2、Player2 猜测这段话,在规定次数内猜到了,Snapp合约里的Mina会自动付款给 Player2。
1、该示例表明:Mina Snapp可以实现类似于 Ethereum Smart Contract 的功能。
2、该示例中涉及的zk-SNARK:Player1 发布Snapp合约时会编译为proving key留在本地,把verifying key存在链上。如下图所示:

3、当 Player2 猜测一次后,State的改变,无需其他节点链上计算验证,只需要通过verifying key验证 Player1 通过proving key生成的Proof即可判断猜测结果的对错。
No activity yet