...的隐私保护问题。在传统密码学?案中，如对称加密、?对称加密等，?案针对系统合法??外的恶意攻击者，提供了数据在传输或存储过程中的机密性、完整性的保护。?在安全多?计算的?案中，要求保护每个合法参与者各?的数据隐私。安全多?计算可以被?泛应?在电?选举、?限签名以及电?拍卖等应?中。安全两...
知识:合约,智能合约,合约地址,联盟链
...明的用处，但是这些算法是如何开发的呢？需要权衡哪些利弊呢？关于高效系统的开发，有三大衡量指标：验证时间（prover time）、校验时间（verifier time）和带宽（bandwidth）（即一方必须通过协议向另一方发送的数据量）。某些 ZK 证明不需要验证人与校验人进行交互，在此情况下，带宽仅是证明的大小...
知识:零知识证明,技术,安全,密码学
...翁问题提出的解决方案。它的核心技术是将两方参与的安全计算函数编译成布尔电路的形式，并将真值表加密打乱，从而实现电路的正常输出而又不泄露参与计算的双方私有信息。由于任何安全计算函数都可转换成对应布尔电路的形式，相较其他的安全计算方法，具有较高的通用性，因此引起了业界较...
知识:安全多方计算,火星号文章,火星财经资讯
...设定中，我们计算的函数用于检查链下状态方面支付型代币的正确性、计算比特币交易中的 ECDSA （椭圆曲线数字签名算法）签名、发布新支付型代币等。一方的输入信息是该方私密的签名密钥，另一方提出比特币交易，提供支付型代币。在开始探讨细节前，我们先定义两个对 MPC 下任何联合计算都非常...
知识:支付<div class="text-assistive">
...，它是基于概率检查做验证的。关于这类验证方法，可以从一种古老的验证系统?PCP（Probabilistically Checkable Proofs）中找到线索，不过在?zk-STARKs?中使用的方法叫?IOP（Interactive Oracle Proofs），与?PCP?的不同之处在于它用的是?Oracle。之所以介绍?zk-STARKs，一方面是因为它也颇为流行，另一方面是想说明零知识证...
知识:区块链,零知识证明
...，它是基于概率检查做验证的。关于这类验证方法，可以从一种古老的验证系统 PCP（Probabilistically Checkable Proofs）中找到线索，不过在 zk-STARKs 中使用的方法叫 IOP（Interactive Oracle Proofs），与 PCP 的不同之处在于它用的是 Oracle。之所以介绍 zk-STARKs，一方面是因为它也颇为流行，另一方面是想说明零知识证...
知识:私钥,zk-STARKs,椭圆曲线数字签名,公钥
...，它是基于概率检查做验证的。关于这类验证方法，可以从一种古老的验证系统 PCP（Probabilistically Checkable Proofs）中找到线索，不过在 zk-STARKs 中使用的方法叫 IOP（Interactive Oracle Proofs），与 PCP 的不同之处在于它用的是 Oracle。之所以介绍 zk-STARKs，一方面是因为它也颇为流行，另一方面是想说明零知识证...
知识:私钥,椭圆曲线数字签名,公钥,同态
...KPs）于上世纪80年代由S.Goldwasser、S.Micali及C.Rackoff提出，被称为最小泄露证明系统，也是一种基于概率的验证方式。11月7号20：00，BlockMania 「博士大爆炸」第三期暨AMA直播 第27期继续进行，本期主题为「零知识证明作为区块链核心技术」，分享嘉宾为安比实验室创始人、知名区块链安全专家郭宇博士，为...
知识:区块,以太坊,私钥,知识
以太坊（ETH）团队负责人Peter Siladzhi于12月4日确认了即将在伊斯坦布尔举行的网络分叉的预计日期。 在11月7日发布的两条推文中，Szilágyi表示伊斯坦布尔将在9069000区块开始。他为Geth网络运营商提供了一个链接，该链接指向旨在开始初始化硬分叉的新服务版本。 Geth是给用于操作以太坊网络上的节点的两...
知识:以太坊,挖矿,分叉,去中心化自治组织
...路（GC，Garbled Circuit）是指将一参与方安全多方计算协议的计算逻辑编译成布尔电路，然后将布尔电路中的每一个门进行加密并打乱加密顺序完成混淆操作。完成混淆后，该参与方将加密电路以及与其输入相关的标签（另一方无法从标签中反推输入的信息）发送给另一参与方。另一方（作为接收方）通...
知识:算法,安全多方计算,密码学,同态加密
...一个黑盒子里面去计算。通常我们会将计算的时候用到代码和数据放在操作系统层面。黑盒子是在操作系统里面的一个特殊的可信执行环境。那这种可信执行环境使得你可以将涉及敏感数据的计算任务都丢到这个盒子里面。在可信执行环境里面跑的可信应用是无法和普通的应用做数据交互的。当它跟外...
知识:数据,隐私,同态,代币
土耳其海关执法部门撤销了一项非法走私行动，据说这是对该国非法比特币（BTC）采矿设备的破记录。收到小费后，土耳其海关保护局的反走私和情报小组于本周早些时候突袭了伊兹密尔卡拉巴格拉尔的一个仓库，在那里他们在封闭的纸板箱中找到了501个ASIC比特币采矿设备。海关执法部门报告，查获的...
知识:比特币,加密货币交易所,土耳其,接受比特币付款
...Istanbul硬分叉的预计日期。 在11月7日发布的两则推文中，Szilágyi指出伊斯坦布尔将在9069000区块开始。他为Geth主网节点运营商提供了一个链接，该链接指向旨在开始进行硬分叉初始化的新维护版本。 Geth的名称是用来操作以太坊网络上节点的两个最受欢迎的客户端之一-另一个是Parity，它将在Istanbul启用...
知识:以太坊,分叉,挖矿,以太坊的
以太坊伊斯坦布尔硬分叉历史被宣布。以太坊（ETH）基金会负责人PéterSzilágyi确认，预期的伊斯坦布尔网络硬分叉将于12月4日启动。 <h2>以太坊伊斯坦布尔硬分叉历史</h2> 以太坊伊斯坦布尔硬分叉历史被宣布。 以太坊（ETH）基金会负责人PéterSzilágyi确认，预期的伊斯坦布尔网络硬分叉将于12月4日启动。...
知识:以太坊,分叉,以太坊的,伊斯坦布尔
...智能合约 VM轻客户端协议分布式 ID与其他系统或协议集成对接，如以太坊、比特币、IPFS 等可扩展性项目：网络优化，如 BDN现有客户端的可扩展性优化，包括存储、共识、并行交易等Layer2，包括状态通道、侧链、ZKP 等隐私类项目：隐私交易隐私合约工具类项目：区块链浏览器钱包，包括独立钱包、第三...
知识:技术,项目,LatticeX,Grants