CUDA - cuda-fixnum源代码导读
Groth16,是由Jens Groth在2016年提出的算法。GGPR13,是由Rosario Gennaro,Craig Gentry,Bryan Parno,Mariana Raykova在2013年提出的算法。
前一段时间,介绍了零知识证明的入门知识,通过QSP问题证明来验证另外一个NP问题的解。最近在看QAP问题相关的文章和资料,这篇文章分享一下QAP问题的理解。
通过这篇文章,能快速建立零知识证明的逻辑框架。
Bancor协议是为了降低币币交易的门槛,形成Token经济中的Token交易的长尾效应。目前大量的市值相对小的Token没能在交易所上交易,Bancor协议在有一定“抵押物”的情况下,实现Token和“抵押物”的自由交易。进一步,所有通过Bancor协议实现交易的Token又能聚集在一起形成Bancor生态。举个例子,一个TokenA,一个TokenB都是以以太进行抵押,通过Bancor都能实现TokenA和ETH,TokenB和ETH的交易,逻辑上也就实现了TokenA和TokenB的交易。Ban
虚拟机用来执行以太坊上的交易,更改以太坊状态。交易分两种:普通交易和智能合约交易。在执行交易时需要支付油费。智能合约之间的调用有四种方式
Filecoin - PoRep和PoSt算法源代码导读
Filecoin逻辑梳理及源代码导读