找到约 12 条结果

文章 Ondo Finance如何创建一个机构级DeFi协议

...市场。在这一趋势中,有一种产品旨在连接传统金融和去心化金融服务。这就是 Ondo Finance 的故事的由来。我认为 Ondo Finance 提出的产品将为未来涌现的众多面向机构的 DeFi 协议树立标准。问题仍然是,Ondo Finance 究竟是如何设...

文章 以太坊协议更新 003 — 改善用户体验

...1 结算的激励。 该项目需要多个工作流程:网络性心化压力的稳健数据分析(目前涉及 Maria Inês Silva、Sam Calder-Masson 和 Toni Wahrstätter)、共识和执行层变更的规范(涉及 Dankrad Feist、Justin Traglia 和 Milos Stankovic)和客户端...

文章 Chainlink预言机在智合约中的77种应用方式(三)

...c&scene=21#wechat_redirect)一文基础上做进一步扩展。 * 去心化金融 * 链下支付 * NFT、游戏和随机数 * 保险 * 企业系统 * **供应链** * **公用事业** * **身份和授权** * **政府** * **其他** ## **供应链** 供应链包括从原材料...

文章 Bionetta:终极客户端ZKML技术概览

...些安全问题并允许实现以下属性集合的 zkML 框架: - **可证明性**。验证者可以检查模型执行的正确性。 - **零知识**。验证者无法提取任何信息,除非该语句是正确的。例如,用户可以扫描他们的脸并创建相似性证明,但不会...

文章 Celestia:为L2世界带来主权

...节点所需的最低硬件规范也会增加,从而导致潜在的网络心化问题。 但是,在 Celestia 中,只需增加轻节点的数量即可增加区块大小,并且由于轻节点甚至可以在较低的硬件规范下参与 DAS,因此不会导致网络心化,这是 Celes...

文章 论文评审 - 在计算机科学中掌握并发性 - 一种新的教育方法

...为前提。 PlusCal 这样的工具促进这种过渡,使得并发算法的表达与数学描述无缝结合。 ## 系统与算法的规范说明 从概念理解到实际应用的旅程,最终体现在够准确地指定和设计并发系统。lamports强调在算法开发之前进行...

文章 大型科技公司毁掉互联网,区块链技术有助其复兴

...将他们的基础从脚下抽走。最后,所有用户——不仅仅是心化的守门人——都应对他们所贡献网络有发言权。 建立在区块链上的网络具备这些属性。尽管由于与赌场式赌博行为的关联(特别是 FTX 和 meme coin),容易轻视这...

文章 Sui 概览:技术特色与生态发展现状

...心支柱构建:SUI 代币、交易手续费、Sui 存储基金、权益证明机制(PoS)以及链上治理投票。SUI 代币的总供应量定为 100 亿枚。截至 11 月 30 日,该代币的价格为 0.62 美元,市值约为 5.8 亿美元。  ### **Sui 的优势** Sui 以技术...

文章 NFT与游戏的交汇

...。NFT 是存储在区块链上的独特数字资产,提供一种去心化且安全的方式来证明虚拟物品的所有权和真实性。每个 NFT 都是独一无二的,无法复制或分割,这使得它们非常适合代表独特的数字资产,例如游戏内物品、角色和虚...

文章 如何让你的智合约更安全?

...通过数学的手段对代码的安全性和功正确性进行严格的证明,可有效检测出智合约是否存在安全漏洞和逻辑漏洞。该方法可以有效弥补传统的靠人工经验查找代码逻辑漏洞的缺陷。形式化验证技术的优势在于,用传统的测试...

文章 保护 EIP 流程免受特殊利益侵害+实例与案例研究 - 魔术师/流程改进

...sys 的专有 Metamask 钱包受益,而损害开源智合约钱包 3. 心化风险 ### 几乎未被发现的安全缺陷 直到发布 _“EIP 3074 的更简单的替代方案”_ 的无偿志愿者在此论坛上进行最后一刻的干预之前,该流程不仅未发现安全问题,...

文章 以太坊 WHIR:zk-s[nt]arks

...将 WHIR 用于以太坊? 随着以太坊的持续扩展,对 SNARK 证明系统的要求变得越来越迫切:证明必须非常小,验证必须非常快,并且整个系统必须保持足够的简单和健壮性,以便在最小的硬件上进行验证——理想情况下,就 Ras...