Ethan - if(DAO)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 ...
Ethan - if(DAO)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 有专门的数学方法...
Ethan - if(DAO)零知识证明之zk-STARK
zk-STARK（零知识的可扩展的透明知识论证）zero knowledge - Scalable Transparent ARgument of Knowledge zero knowledge（零知识）：Private input（秘密的输入）将会被隐藏，除了 Prover 以外的任何人都不知道 Private input 的内容，在知识论证的过程中也不能反推出 Private input。 Scalable（扩展性）：与 Replay Computation 的验证耗时相比，zk-STARK 生成 Proof 的时间复杂度近似于计算的复杂度 (O(n))，而 Verify Proof 的时间复杂度远小于计算的复杂度 (O(log))。 假设区块链网络中 Verifier 的 VerifyTime = Transcation 交易数量的对数的平方。当一个区块包含 10000 Transcation 时，验证者的 VerifyTime = (log₂ 10000)² ~ (13.2)² ~ 177 ms；当一个区块包含 100 0000 Transcation 时，验证者的 V...
Ethan - if(DAO)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 ...
Ethan - if(DAO)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 有专门的数学方法...
Ethan - if(DAO)零知识证明之zk-STARK
zk-STARK（零知识的可扩展的透明知识论证）zero knowledge - Scalable Transparent ARgument of Knowledge zero knowledge（零知识）：Private input（秘密的输入）将会被隐藏，除了 Prover 以外的任何人都不知道 Private input 的内容，在知识论证的过程中也不能反推出 Private input。 Scalable（扩展性）：与 Replay Computation 的验证耗时相比，zk-STARK 生成 Proof 的时间复杂度近似于计算的复杂度 (O(n))，而 Verify Proof 的时间复杂度远小于计算的复杂度 (O(log))。 假设区块链网络中 Verifier 的 VerifyTime = Transcation 交易数量的对数的平方。当一个区块包含 10000 Transcation 时，验证者的 VerifyTime = (log₂ 10000)² ~ (13.2)² ~ 177 ms；当一个区块包含 100 0000 Transcation 时，验证者的 V...
Share Dialog
Share Dialog
Subscribe to Ethan - if(DAO)
Subscribe to Ethan - if(DAO)
Experience web3 application，Experience SocialFi
Experience web3 application，Experience SocialFi
<100 subscribers
<100 subscribers
No activity yet