LOADING...
LOADING...
LOADING...
当前位置:主页 > 知识列表 >

proof verification

1. Filecoin的Gas破局之路

...dowedPoSt消息对于算力的保持至关重要,但是当baseFee很高的时候,对于提交的proof进行验证的成本也会很高,在极端的情况下,小矿工很多的partition都是空的,这时候维持算力的成本已经远远大于预期的区块收益。我们需要确保在FeeCap很高的情况下SubmitWindowedPoSt的成本是较低的。在FIP-0009 SubmitWindowedPoSt消...

知识:矿工,链上,算力,全网算力

2. ZKSwap团队详细解读——Halo2原理

...前已使用中的 ZKP 算法中,要么需要 Trust Setup,比如 Groth16、Plonk 等;要么 Proof Size 过于庞大,比如 ZK-Starks。Fractal 是一个基于 LDT 技术的 Recursive ZKP Protocol,它完全满足 ZKP 的简洁性,且是抗量子的。Halo 虽然不满足简洁性,但是它的 Recursive Proof Size 始终保持在 3.5 KiB 左右,相比于 Fractal 的至少 120 KiB p...

知识:算法,采用了,简洁性,技术

3. 技术干货 | 零知识证明Learn by Coding:libsnark 入门篇

...0oA「探索零知识证明」系列:https://sec-bit.github.io/blog/2019/07/31/zero-knowledge-and-proof/「从零开始学习 zk-SNARK」系列:https://sec-bit.github.io/blog/2019/12/25/learn-zk-snark-from-zero-part-one/「零知识证明学习资源汇总」:https://sec-bit.github.io/blog/2019/11/07/zkp-learning-resources/ 本文主角 libsnark 是用于开发 zk-SNARKs 应用的 C++ 代...

知识:零知识证明,zkSNARKs

4. 哪个故事真正符合你对形式化验证的想象?

... [14] 的方式贡献给社区。Github 仓库地址: https://github.com/sec-bit/tokenlibs-with-proofs结论大多数人认为形式化验证方法高深莫测,究其原因,形式化验证方法不是一种通用技术,而是需要和领域结合来发挥价值的一种特定技术。在区块链领域,形式化方法究竟是一种 nice to have 还是一种 must have,也是与项目...

知识:技术,安全,基建安全

5. Thomas-SCW混合共识助力Thomas屏幕经济新发展

...的共识算法,代表人存储量证明(POS-POC-POW混合共识)。这种新方法不会像 Proof of Work那样消耗大量的电力,也不会像Proof of Stake那么偏于弱中心化。和比特币一样,Thomas网络的区块链上的工作难度也是动态调整的,所以32个区块完成的目标时间平均为10分钟。并非每个区块都是交易区块,预计每10分钟会...

知识:区块,共识算法,链上,公链

6. 区块链大型巡回播放【第13期】#瑞波共识# &“行情解读”&“PI网友观点摘录”

...优势明显。Blockchain relies on the technology core of consensus mechanism to become a tamper-proof and transparent data trust system. The current mainstream consensus mechanisms are proof-of-work system, equity certificates, stock authorization certificates, and ripple consensus.The ripple consensus protocol allows a group of nodes to agree on an initial set of nodes based on a special set of...

知识:瑞波,瑞波共识协议,股份授权证明,行情比特币

7. 零知识证明 Learn by Coding:libsnark 入门篇

...<li style="position: relative;">[BCIOP13] Succinct non-interactive arguments via linear interactive Proofs , Nir Bitansky, Alessandro Chiesa, Yuval Ishai, Rafail Ostrovsky, Omer Paneth, Theory of Cryptography Conference 2013</li><li style="position: relative;">[BCTV14a] Succinct non-interactive zero knowledge for a von Neumann architecture , Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars V...

知识:电路,变量,代码,例子

8. 区块链大型巡回播放【第18期】#区块链的区块头# &amp;“行情解读”&amp;“PI网友观点摘

...32byte) of the Merkel tree generated from the transaction information, the time stamp (4byte) , the proof-of-work system difficulty (4byte) , and the random number (4byte) . As can be seen from the above, the content of the block is very rich and full, all risk factors have been linked to search.2、行情解读每日行情走势,大饼从3月12号开始爬升,初始点为3800点,今日08月...

知识:区块头,区块,合约,根哈希值

9. 维尔币博客发布 13 日 Peter Todd -开发更新

...contents. Clients would do the verifications themselves, using the tree paths to store the relevant proofs for the Bitcoins that they own, and broadcasting these proofs when they make a transaction.   Thus, it would be possible to use the Bitcoin block tree as a platform for an altcoin: you&rsquo;d pay your fees in Bitcoin, but the transactions themselves could be anything: you could make ...

知识:维尔币

10. Tritium早报2021.6.19|葡萄牙授予加密交易所运营许可证美国安装加密货币ATM

...e-Seed 轮融资。本轮融资由 DAOSquare 孵化器召集,投资机构包括 Noah S. Jessop (Proof Group)、LD Capital、ROBOT 9k、Youbi、NGC、HunFan Labs、MetaCartel Ventures China,同时,Daniel S. Gabe M.、Adam D'Augelli (True Ventures)、MetaCartel 的核心成员 Yalor、DAOSquare 发起人 Typto 等个人投资者也参与了本轮融资。</blockquote>3. 安全系统开...

知识:加密货币,区块链,币安,跨链

11. Trail of Bits 计划利用零知识证明重塑漏洞披露流程

...正在与约翰霍普金斯大学的 Matthew Green 合作,使用零知识证明(zero-knowledge proofs)技术为科技公司和安全漏洞研究人员建立一种可信的基础设施,在新的合作方式之下,双方在针对漏洞披露(Vulnerability Disclosure)的流程中可进行合理的沟通,而不必担心受到破坏或歧视。在接下来的四年里,Trail of Bits ...

知识:零知识证明<div class="text-assistiv

12. PlatON与Runtime Verification达成合作 确保网络安全稳定

美国当地时间3月9日,PlatON正式与全球知名安全审计公司RuntimeVerification签署合作协议,合作内容包括针对PlatON的并行拜占庭容错(CBFT)协议进行形式化建模,并对两个关键任务属性——安全性和活性进行验证,以确保未来主网共识机制的安全稳定。Runtime Verification拥有世界顶尖的形式化验证团队,在区...

知识:技术,协议,安全性,合作

13. RuntimeVerification:为以太坊等动态分析审计的形式化验证项目

Runtime Verification Inc 是一家初创公司,使用执行期验证技术对公链虚拟机和智能合约进行安全性审计,通过使用自己研发的动态分析验证技术致力于提高和区块链领域的软件系统的安全性,可靠性和正确性。目前区块链安全审计领域多为静态分析(只对源代码内部逻辑进行审计),而动态分析(使用代码...

知识:公链,智能合约,代币,区块链领域

14. 区块链大型巡回播放【第17期】#区块链支付和交易验证# &amp;“行情解读”&amp;“PI网友

...lized transactions and user-friendliness. In real life, where there is a transaction, there must be verification, otherwise we have no way of knowing whether our transaction is genuine trust. The commonly used verification methods for SPV include simple payment verification and Light Wallet Verification.There is a big difference between block-chain payment verification and transaction verification...

知识:双重支付,在区块链,区块链支付,日常

15. 融资新闻丨安全审计机构Runtime Verification完成530万美元融资,由IOSG领投

在最新一轮融资中,区块链安全审计公司 Runtime Verification 筹集了 530 万美元。 本轮融资由 IOSG Ventures 领投。根据新闻稿,这轮融资主要投资者是风险投资市场的主要参与者:分布式资本、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation。这次募集的资金将用于加速工具的开发,旨在...

知识:融资,新闻,丨,安全,审计,机构,Runtime,Verif