全球数字财富领导者
财富汇
|
美股投研
|
客户端
|
旧版
|
北美站
|
FX168 全球视野 中文财经
首页
资讯
速递
行情
日历
数据
社区
视频
直播
点评旗舰店
商品
SFFE2030
外汇开户
登录 / 注册
搜 索
综合
行情
速递
日历
话题
168人气号
文章
机会来了!神奇
预言家
:小型股正在爆发并将上涨40%
go
lg
...
股市中被忽视的部分可能正在酝酿反弹。小型股罗素 2000指数近期大幅上涨 ,创下两年半以来的新高。随着市场为降息做好准备,大型股出现下跌迹象,2024 年最大赢家纷纷退出市场,该指数也因此上涨。
lg
...
Peng
2024-07-17
构建区块链实际上需要什么?
go
lg
...
立必要基础设施的时候了,例如 RPC、
预言
机、索引器、区块浏览器、多重签名、账户抽象等等。您不应该忽视基础设施需要基础设施的讽刺之处。在此阶段,开发者关系团队可以开始与构建者讨论他们应该在他们新奇的区块链上开发的所有理由。 为你的区块链制造炒作的最可靠方法之一是建立对“空投”的预期,即完成某些任务后向钱包发送免费代币。过去,这是随机的,用户不确定哪些操作会产生代币。如今,经常使用积分系统,用户通过执行任务累积积分,最终在链的代币启动后获得更大份额的空投。虽然这种方法可能会发展——因为 web3 以光速迭代——但它目前是每条链都必须以某种方式采用的常态。在代币经济学设计期间,代币供应的一部分被分配给社区用于此目的。 最常见的情况是,区块链通过空投制造炒作做得非常出色,本质上是免费赠送资金。空投结束后,我们经常会看到实时价格预测。价格通常会上涨一段时间,然后大部分持有者会急于抛售,导致代币价值暴跌。最初对其平台上的活动感到兴奋的区块链意识到他们只是吸引了寻求免费资金的链上投机者。这通常是这些链开始更加认真地建设生态系统的时候——通常为时已晚。在接下来的几年里,我们可能会看到许多这样的链成为幽灵链。 假设到目前为止一切进展顺利。该链成功炒作,吸引了初始用户,并锁定了链上的流动性。接下来要如何吸引建设者?现实情况是,建设者,尤其是最优秀的建设者,如今有数百种选择。过去,有补助计划就足以吸引他们,但即便如此,也只是制造了投机者。这是大多数链目前的处境。但如果有另一种方法呢?如果我们真的花时间赋予建设者权力呢? 到目前为止,生态系统中最少使用的策略是更认真地对待建设者。归根结底,这些建设者是新创业公司,他们寻求任何创业公司创始人都需要的资源。然而,区块链往往认为自己是明星,将建设者视为一次性用品,直到为时已晚。 不过,事情不必这样。如果区块链开始整合资源,让建设者专注于自己最擅长的领域——同时为搭建平台、向投资者推销、创建代币经济学、在交易所上市等提供支持——我们很可能会看到这条链成为真正的超级明星。 如果没有建设者,一条链就一无是处,为什么没有更多的区块链争相将相信它们的建设者打造为明星?仅凭少数成功案例就能吸引其他区块链的建设者,寻求同样的支持来创建成功的初创企业。如果这些区块链不采取这种方法,他们很快就会意识到,仅仅因为你建立了它并不意味着他们会来。 来源:金色财经
lg
...
金色财经
2024-07-17
金色Web3.0日报 | 现货以太坊ETF推出后表现可能优于比特币
go
lg
...
net主网上线 金色财经报道,去中心化
预言
机服务 Chainlink 宣布其 DeFi 数据解决方案 Chainlink Data Feeds 现已在 Starknet 主网上线。据悉,作为 SCALE 计划的一部分,Starknet 基金会为 Chainlink
预言
机节点承担了部分运营成本,使 Starknet 开发人员能够访问低成本的数据源。 3.StarkWare披露未来计划:优化Starknet堆栈,2025年Q1拟推出Stwo 金色财经报道,StarkWare 于 X 发文表示,Starknet 接下来的计划包括: -优化 Starknet 堆栈,提高吞吐量和成本效益; -推出 Stwo,即其下一代 prover,以降低成本和延迟,同时提高所有 Starknet 驱动链的吞吐量(预计 2025 年第一季度推出); -继续致力于通过质押和治理实现 Starknet 去中心化; -成为比特币和以太坊链上首个 L2。 4.Scroll主网TVL突破10亿美元,创历史新高 金色财经报道,基于Starknet的zk EVM网络Kakarot于X发文表示,Pyth喂价服务已在Kakarot测试网上可用。Kakarot开发人员可利用Pyth提供的低延迟喂价信息,开始构建利用实时高频数据的高性能DApp。 5.Movement即将推出测试网 金色财经报道,以太坊 L2 网络 Movement 于 X 发文表示,其测试网即将推出。 游戏热点 1.韩国游戏开发商Delabs Games推出Telegram点击游戏Giga Chad Bat 7月16日消息,总部位于韩国的游戏开发商Delabs Games宣布推出以棒球为主题的Telegram点击游戏Giga Chad Bat。玩家可通过Giga Chad Bat获得积分,然后可将其转换为GAME代币。 2.去中心化云游戏协议DeepLink Protocol已启动Public Sale Phase 4 7月16日消息,据官方消息,去中心化云游戏协议DeepLink Protocol于本月13日完成Public Sale Phase 3,该阶段募集资金90万美金。项目现已开启Public Sale Phase 4,并将于8月5日结束。在6月的Public Sale Phase 1和Phase 2中,分别募集资金105万和120万美金。 免责声明:金色财经作为区块链资讯平台,所发布的文章内容仅供信息参考,不作为实际投资建议。请大家树立正确投资理念,务必提高风险意识。 来源:金色财经
lg
...
金色财经
2024-07-16
以太坊、比特币、Solana 生态再质押协议融资热 有哪些协议可以淘金?
go
lg
...
生代币 BB 来保护,中间件如跨链桥、
预言
机等可通过引入 BounceBit 的流动性以获得安全性。 具体来说,用户将原生资产转移至 BounceBit 之后,会铸造出新的 B-Token 资产。以 BTC 为例,用户存入 BTC 后,将获得在 BounceBit 主网上运作的 BBTC 资产。 目前,BBTC 资产可以用于两种主要的链上活动:一是在 BounceBit 的混合质押模式下,使用 BBTC+BB 参与节点质押,同时产生的 LST 代币可以用于进一步的再质押活动,以放大质押回报;二是 BBTC 可用于链上的各种 DeFi 应用交互获取收益。 4 月,BounceBit 宣布完成由 Binance Labs 投资的战略轮融资。早在 2 月曾宣布完成了 600 万美元种子轮融资,投资方包括 Blockchain Capital、Bankless Ventures、NGC Ventures、DeFiance Capital、OKX Ventures 等。 7 月 12 日,BB 报价为 0.4 美元,FDV 为 8 亿美元。 Solana 生态再质押协议:Solayer、Cambrian、Picasso 流动性再质押协议 Solayer Solayer 是 Solana 生态的再质押协议,支持 SOL 持有者将其资产质押到其他需要安全和信任的 Solana 生态内协议或 DApp 服务中,从而获得更多的 PoS 质押收益,功能类似于 EigenLayer。 7 月 2 日宣布完成建设者轮融资,具体投资金额未披露,投资者包括 Solana Labs 联创 Anatoly Yakovenko、Solend 创始人 Rooter、Tensor 联创 Richard Wu、Polygon 联创 Sandeep Nailwal 等。此前曾有消息透露,有 3 位熟悉情况的 VC 表示 Solayer 希望以 8000 万美元估值完成 800 万美元种子轮融资。Solayer Labs 的 Rachel Chu 表示已接近筹集 1000 万美元,其中 Solana 的创始人 Anatoly Yakovenko 参投。 目前,Solayer 支持用户存入原生 SOL、mSOL、JitoSOL 等资产,7 月 15 日,Solayer 平台上的 TVL 超过 1.05 亿美元,其中 SOL 占比约 60%。 融资洽谈中的再质押协议 Cambrian Cambrian 同样是 Solana 生态的再质押协议,支持 SOL 和 LST 资产质押至中间件或者 Dapp 应用中赚取更多收益。 据悉,Cambrian 创始人 Gennady Evstratov 表示,团队正在敲定 250 万美元融资事宜,3 位投资者表示估值约为 2500 万美元,Cambrian 计划在第二季度末或第三季度初推出再质押网络,上线积分计划并发币。 截至 7 月 15 日,Cambrian 还未上线任何质押产品。 再质押协议 Picasso Picasso 原是波卡生态的跨链协议,1 月 28 日宣布推出 SOL 的再质押服务,以支持 SOL 和 LST 流动质押资产用于保护中间件、dApp 和 L2 Rollups 等 AVS(主动验证服务)。 目前,Picasso 上的再质押产品支持 SOL 及 JitoSOL、mSOL、bSOL 等 LST 资产再质押。不过,当前平台上参与锁仓的再质押资产仅有 375 万美元。 来源:金色财经
lg
...
金色财经
2024-07-16
Mamori.xyz:基于机器学习的区块链价值提取系统
go
lg
...
亿美元损失,以及 BonqDAO,因
预言
机操纵受损 1.2 亿美元。这些令人震惊的安全事件,被认为是链上应用、加密货币大规模采用的基本障碍。 事实上,目前主流的检测智能合约漏洞的方式包括静态分析器和动态分析器(模糊测试)。 其中静态分析器通常是使用一系列的规则和模式匹配技术来检查代码,识别不符合最佳实践或存在已知漏洞的模式。这可能会产生大量的误报(错误的警告),因为静态分析无法完全理解代码的上下文,并且对于依赖于运行时状态的漏洞,如经济风险或逻辑错误,静态分析可能不够有效。 对于动态分析器,则是指在代码实际运行时对其进行监控和分析,以检测漏洞和异常行为。 例如,Trail of Bits 开发的 Echidna 使用基于属性的测试,并需要定义合约应始终保持的精确属性。但其只能检测到在测试期间执行的代码路径,可能遗漏未被执行的代码部分。同时其需要创建和维护测试环境,定义测试用例,这可能需要大量的时间和资源。 图为 Zhang 等人在 2023 年揭露智能合约中可利用的漏洞,来源:mamori.xyz 白皮书 所以整体而言,现有的审计工具和方法,通常是基于历史数据,无法满足快速创新和涉及数十亿美元的行业所需的预防性安全需求。 加密行业为什么需要 Mamori.xyz? Mamori.xyz 是一个基于机器学习的自动化区块链价值提取系统,其采用了一种支持机器学习的路径查找器(ML-enabled Pathfinder)方案,是一种自动化的价值提取系统,旨在应对 Web3 安全领域中的可扩展性、自动化、漏洞检测的相关性和有效性等挑战,并应用跨学科技术,防范“未知的未知”漏洞。 事实上,现有的技术,包括 ML 模型和静态分析器,已经逐步覆盖了“已知的未知”区域,并试图消除反复出现的漏洞。然而,在 Mamori.xyz 前仍旧没有单一算法能够完美覆盖所有类型的经济漏洞。Mamori.xyz 正在利用多样化的技术,保护系统免受“未知的未知”漏洞的威胁,为智能合约领域的创新特性提供一个促进环境。 Mamori.xyz 目前利用算法解析技术建立智能合约序列,采用可重复的状态计算技术,并融入创新和可定制的算法反馈机制,以改善智能合约安全领域的空白、现有技术的局限性,推动智能合约审计的新标准。 凭借其创新的框架,改进了许多细节,包括: 一种高级的状态计算结构。 通过算法解析实现减少寻找有效函数的设置成本。 一种创新的跨学科反馈机制和序列初始化。 一种可定制的特性,作为 MEV 搜索器。 图源:mamori.xyz 白皮书 Mamori.xyz 的技术特点 算法解析方案: Mamori.xyz 的算法解析技术旨在通过深入分析智能合约的执行路径和状态转换,发现潜在的技术和经济漏洞。Mamori.xyz 首先通过识别和设置智能合约中功能调用的顺序,构建可能的执行路径图。这些路径图用于优先处理实际操作中的漏洞检测。该过程能够确保合约的各个功能调用序列都能被准确解析和测试,从而发现潜在的风险。 可复现的状态计算: 可复现的状态计算技术是 Mamori.xyz 漏洞检测能力的核心之一。这项技术通过使用高效的状态性模糊测试方法,确保智能合约在各种状态下的行为都能被准确地测试和验证。Mamori.xyz 利用 Rust 实现的 EVM 环境(revm),提供了一个灵活的执行平台,该平台允许在不同状态下执行智能合约功能,同时保持计算的高效性和精确性。 为了实现可复现的状态计算,Mamori.xyz 采用了临时数据库技术,在内存中运行测试,只保留必要的键值对。这不仅减少了内存使用量,还显著提高了测试速度。此外,Mamori.xyz 的执行环境被优化为支持并行执行和异步 I/O,从而进一步增强了其测试效率。 图源:mamori.xyz 白皮书 创新的可定制反馈机制: 可定制反馈机制通过跨学科的技术融合,提供了一个高度灵活和可定制的反馈系统,以提高漏洞检测的准确性和效率。该方案的核心在于,它不仅关注技术漏洞,还特别关注经济风险,通过全面的多功能调用检测来识别潜在的威胁。 该反馈机制通过持续监控智能合约在不同状态下的表现,及时识别并反馈潜在的漏洞和风险。这种动态监控允许系统根据检测到的风险调整测试路径,优化搜索路径,减少假阴性搜索的发生。Mamori.xyz 还利用这种机制支持 MEV(矿工可提取价值)搜索器的功能,最大化其利用率,从而覆盖更多的潜在风险场景。 此外,这一机制的定制化功能允许用户根据特定需求调整算法参数和检测策略,从而提高系统的灵活性和适应性。通过这种方式,Mamori.xyz 不仅能够在合约上线前进行全面的漏洞检测,还可以在合约运行期间持续进行监控和更新,提供持续的安全保障。创新的可定制反馈机制使得 Mamori.xyz 在应对复杂和多变的智能合约环境中,能够更快速、准确地识别和修复漏洞,提升了整体安全性。 经济风险检测: Mamori.xyz 的经济风险检测机制是其智能合约安全审计的一大特色,旨在识别和防范由于经济漏洞引发的潜在威胁。经济风险检测的核心在于多功能调用序列的综合检测算法,该算法不仅针对单一功能的技术漏洞,还关注由于多功能组合导致的复杂经济风险。 Mamori.xyz 利用其先进的算法解析技术,通过检测合约中的多功能调用序列,构建可能的执行路径图。这些路径图经过优化处理后,用于识别那些可能导致经济损失的复杂交互。特别是,Mamori.xyz 的状态性模糊测试方法,通过生成和变异测试用例,能够系统地测试合约在不同状态下的行为,从而发现隐藏的经济风险。 此外,Mamori.xyz 的创新可定制反馈机制,在检测过程中持续监控智能合约的状态变化,及时反馈潜在的经济风险。这种动态的监控和反馈系统允许实时调整测试策略,确保覆盖所有可能的风险场景。通过结合技术漏洞和经济风险的双重检测,Mamori.xyz 能够提供全面的智能合约安全审计,确保合约在复杂的经济环境中运行时的安全性和可靠性。 高效搜索算法: Mamori.xyz 的高效搜索算法旨在提高检测速度和覆盖范围。该算法通过结合离散和连续优化技术,全面搜索智能合约的潜在漏洞。Mamori.xyz 的搜索算法包括两层优化结构:上层进行动作序列的离散优化,下层则针对每个动作的输入参数进行连续优化。 上层优化通过预筛选用户可调用函数,确定一个可能导致漏洞的功能子集,然后生成和评估这些功能的动作序列。通过这种方式,Mamori.xyz 能够有效减少需要检测的路径数量,从而加快搜索速度。在连续优化过程中,Mamori.xyz 采用粒子群优化(PSO)算法,通过模拟多个粒子在搜索空间中的移动,找到全局最优解。这种方法不仅提高了优化效率,还能够处理复杂的非凸优化问题。而在状态计算的加持下,Mamori.xyz 能够在短时间内全面检测智能合约的技术和经济风险,提供快速、准确的漏洞识别和修复方案,确保合约在复杂环境中的安全运行。 Mamori.xyz 系统的用例 零日经济漏洞检测 Mamori.xyz 针对智能合约中潜在的零日经济漏洞进行了深入的研究和优化。就像上文提到的那样,传统静态分析工具在检测经济风险方面存在局限性,因为它们往往侧重于技术风险的识别,而忽略了复杂函数调用序列中可能隐藏的经济漏洞。 Mamori.xyz 通过生成并执行一系列测试用例,模拟攻击者可能采取的行动序列,观察智能合约在不同状态下的行为变化。通过优化这些测试用例的输入参数、算法解析技术建立智能合约序列,以及利用可复现的状态计算技术,并结合创新的算法反馈机制,Mamori.xyz 有效地缩小了假阴性搜索范围,提高了对经济漏洞的检测能力,以发现隐藏在复杂交易序列中的经济漏洞,从而保护智能合约免受未知经济攻击的影响。 MEV 价值提取用例 Mamori.xyz 不仅聚焦于智能合约中的零日经济漏洞检测,还识别了传统 MEV 与经济风险之间的共性,将其视为一个同质优化问题,这也使得 Mamori.xyz 的算法能够扩展并服务于 MEV 搜索的角色,最大化其在实际应用中的效用。 Mamori.xyz 的核心优势在于其能够自动化地识别和利用智能合约中的套利机会,这些机会往往隐藏在复杂的交易序列和状态转换之中。Mamori.xyz 本身通过其先进的算法框架,能够模拟不同的市场条件和交易场景,精确计算智能合约中的潜在 MEV 机会。通过分析智能合约的状态依赖性和函数间的相互作用,生成一系列具有高潜在价值的测试用例。这些测试用例旨在探索智能合约在不同市场条件下的行为边界,揭示隐藏的套利机会,精确计算每个潜在交易序列的可提取价值。在连续的输入空间内搜索最大化 MEV 的参数组合,为市场参与者提供精确的 MEV 优化方案。 这对于矿工、交易者和其他市场参与者来说具有重要意义,因为他们可以利用这些 MEV 机会来最大化其交易收益。 跨合约审计与集成 Mamori.xyz 通过其创新的架构和算法设计,能够有效解决了跨合约审计的难题,提供了全面、深入的审计服务。 Mamori.xyz 的跨合约审计功能依赖于先进的静态分析技术,以深入解析智能合约之间的依赖关系,包括函数调用、状态变量共享等。通过构建跨合约依赖图,Mamori.xyz 能够清晰地展示不同合约之间的交互逻辑,为后续的审计测试提供基础。 基于 Mamori.xyz 的高度集成测试环境,系统能够模拟了真实的区块链网络条件,如区块高度、交易顺序和 Gas 消耗等,还支持多合约的并行执行和交互测试。通过在这个环境中部署并执行测试用例,Mamori.xyz 能够全面评估智能合约在跨合约场景下的行为表现和潜在漏洞。 Mamori.xyz 先进的优化算法来生成跨合约测试用例,能够综合考虑了合约间的依赖关系、函数调用序列以及输入参数的不同组合,以最大化漏洞暴露和经济价值的挖掘。同时,Mamori.xyz 还利用反馈机制不断优化测试用例,确保在有限的测试资源下获得最佳的审计效果。 在审计过程中,Mamori.xyz 不仅关注代码覆盖率和功能覆盖率等传统指标,还引入了状态覆盖率和输入空间覆盖率等多维度评估标准。这些指标共同构成了对智能合约跨合约交互行为的全面评估体系,帮助审计师和用户更准确地了解合约的安全状况。 值得一提的是,Mamori.xyz 的跨合约审计与集成功能还具有高度的灵活性和可扩展性。随着 DeFi 生态系统的不断发展和智能合约的持续演进,Mamori.xyz 能够快速适应新的合约类型和交互模式,确保跨合约审计功能的持续有效性和前沿性。 总结 Mamori.xyz 在解决 DeFi 领域面临的安全挑战方面现方面,正在展现出了非凡的潜力与优势。 Mamori.xyz 的 ML 体系,通过融合先进的静态分析技术、动态模拟测试环境、高级优化算法以及多维度评估体系,不仅有效覆盖了传统审计工具的盲点,更在跨合约审计与集成方面取得了突破性进展。 凭借其独特的架构设计和灵活的定制能力,正在构建智能合约的安全审计领域的全新范式。它不仅能够帮助开发者在合约部署前发现并修复潜在漏洞,还能在合约运行期间持续监控和评估其安全性能,为 DeFi 生态系统的稳定性和用户的资金安全提供了坚实的保障。 随着 DeFi 市场的不断扩张和智能合约应用的日益广泛,它不仅是智能合约安全、MEV 等诸多领域的一次重要创新,更是推动链上领域健康、可持续发展的关键力量,Mamori.xyz 的出现无疑将为整个行业注入了新的活力与信心。 来源:金色财经
lg
...
金色财经
2024-07-16
一文解读以太坊主流提案
go
lg
...
在道德约束。他们不会为了几个区块而操纵
预言
机(即使他们拥有大量份额,总是能获得许多连续的区块),因为如果这么做的话会有损他们的声誉,而这对他们的生意没有好处。出于同样的原因,他们也不会将这些权利出售给协议之外的构建者。 然而,如果我们创建一个任何人都可以连续购买大量 slot 的市场,那么多区块 MEV 会变得容易且便宜。此时,构建 slot 的权力被给予给出价更高的人。我们将这一权力市场化,交给拥有最高利润的人,而不是结盟的验证者。 包含列表(IL) 我们可以使用包含列表来防止多区块 MEV 吗?嗯,似乎可以,但实际上并非如此。如果这些是今天设想的有限 IL,那么它们将仅强制包含某些交易子集,并且它们只是强制包含交易但不进行排序。持有大量 slot 的执行提议者仍然可以制造问题并提取多区块 MEV。 为了使 IL 更强大并防止多区块 MEV,您可以让 IL 作为每个 IL 委员会成员的内存池视图(而不仅仅是他们认为正在被审查某一段时间的少数交易),并且它们还将强制排序,而不仅仅是包含交易(例如,按优先费用排序)。您需要将这些列表包含在内以创建一个区块。好吧,这样的话我们已经将 IL 变成了一个全区块多区块的提议者方案,并在批次内按优先费用排序。(有些人可能会说我们都在构建同样的东西。) 您也可以对错过 slot 施加较大的惩罚以减轻多区块 MEV,但这仍然不够完美。因此,基本上,目前还不完全清楚这些问题是否真的可以被解决。 此外,人们仍然担心提议者根本不会使用 IL。如果我们实施它们,而验证者害怕使用它们,该怎么办?我们需要一种能够激励每个人使用它们的设计,并能够对 IL 所包含的内容进行合理否认。这说起来容易做起来难。如果提议者不能/不会通过 IL 强制执行 CR,那么我们就不知道为什么需要这么多验证者了。 来源:金色财经
lg
...
金色财经
2024-07-15
比特币可编程性方案Introspection(内省)和Covenant(契约)详解
go
lg
...
性使其能够实现诸如支付签名、授权委托、
预言
机合约、双重支付保护保证以及更重要的交易自省等机制。使用 CSFS 进行交易内省的原理非常简单:如果 OP_CHECKSIG 使用的交易内容通过见证者推送到堆栈,并且使用相同的公钥和签名对 OP_CSFS 和 OP_CHECKSIG 进行验证,并且如果两次验证都成功通过,则传递给 OP_CSFS 的任意消息内容与 OP_CHECKSIG 隐式使用的序列化支出交易(和其他数据)相同。然后我们在堆栈上获得经过验证的交易数据,这些数据可用于对使用其他操作码的支出交易施加限制。 CSFS 经常与 OP_CAT 一起出现,因为 OP_CAT 可以连接交易的不同字段以完成序列化,从而可以更精确地选择自省所需的交易字段。如果没有 OP_CAT,脚本就无法从可以单独检查的数据中重新计算哈希值,因此它真正能做的是检查哈希值是否对应于特定值,这意味着只能通过单个特定交易来使用代币。 CSFS 可以实现 CLTV、CSV、CTV、APO 等操作码,使其成为多功能内省操作码。因此,它也有助于比特币 2 层的可扩展性解决方案。缺点是它需要在堆栈上添加已签名交易的完整副本,这可能会显著增加使用 CSFS 自省的交易的大小。相比之下,像 CLTV 和 CSV 这样的单一用途内省操作码的开销很小,但添加每个新的特殊内省操作码都需要进行共识更改。 TXHASH (OP_TXHASH) OP_TXHASH 是一个简单的内省操作码,允许operator选择特定字段的哈希并将其推送到堆栈上。具体来说,OP_TXHASH 从堆栈中弹出一个 txhash 标志,并根据该标志计算(带标签的)txhash,然后将生成的哈希推送回堆栈。 由于TXHASH与CTV的相似性,社区内对两者产生了大量讨论。 TXHASH 可以看作是 CTV 的通用升级,它提供了更高级的交易模板,允许用户明确指定支出交易的各个部分,解决了许多与交易费用相关的问题。与其他 Covenant 操作码不同,TXHASH 不需要见证中必要数据的副本,从而进一步降低了存储要求;与 CTV 不同,TXHASH 不兼容 NOP,只能在 tapscript 中实现;TXHASH 和 CSFS 的组合可以作为 CTV 和 APO 的替代方案。 从构建契约的角度来看,TXHASH 更有利于创建“加法契约”,其中你希望修复的所有交易数据部分都被推送到堆栈上,一起进行哈希处理,并验证生成的哈希是否与固定值匹配;CTV 更适合创建“减法契约”,其中你希望保持自由的所有交易数据部分都被推送到堆栈上。然后,使用滚动 SHA256 操作码,哈希处理从固定的中间状态开始,该状态提交到交易哈希数据的前缀。自由部分被哈希到这个中间状态。 TXHASH规范中定义的TxFieldSelector字段预计会扩展到其他操作码,比如OP_TX。 与TXHASH相关的BIP目前在GitHub上处于Draft状态,尚未分配编号。 OP_CAT OP_CAT 是一个神秘的操作码,最初被中本聪出于安全考虑而放弃,但最近却引发了比特币核心开发者的激烈讨论,甚至在网络上掀起了 Meme 文化。最终,OP_CAT 在 BIP-347 下获得批准,被称为近期最有可能通过的 BIP 提案。 事实上,OP_CAT 的行为非常简单:它将两个来自堆栈的元素连接起来。它如何实现 Covenant 功能? 事实上,连接两个元素的能力对应着一个强大的加密数据结构:Merkle Trie。要构建 Merkle Trie,只需要连接和哈希运算,而比特币脚本中提供了哈希函数。因此,使用 OP_CAT,我们理论上可以在比特币脚本中验证 Merkle 证明,这是区块链技术中最常见的轻量级验证方法之一。 前面提到,CSFS 借助 OP_CAT 可以实现通用的 Covenant 方案。实际上,即使没有 CSFS,利用 Schnorr 签名的结构,OP_CAT 本身也可以实现交易内省。 在Schnorr签名中,需要签名的消息由以下字段组成: 这些字段包含交易的主要元素。通过将它们放在 scriptPubKey 或 Witness 中,并使用 OP_CAT 结合 OP_SHA256,我们可以构造 Schnorr 签名并使用 OP_CHECKSIG 进行验证。如果验证通过,堆栈将保留已验证的交易数据,从而实现交易自省。这使我们能够提取和“检查”交易的各个部分,例如其输入、输出、目标地址或所涉及的比特币金额。 关于具体的密码学原理,可以参考Andrew Poelstra的文章《CAT and Schnorr Tricks》。 总而言之,OP_CAT 的多功能性使其能够模拟几乎任何 Covenant 操作码。许多 Covenant 操作码都依赖于 OP_CAT 的功能,这大大提升了其在合并列表中的位置。从理论上讲,仅依靠 OP_CAT 和现有的比特币操作码,我们就有希望构建一个信任最小化的 BTC ZK Rollup。Starknet、Chakra 和其他生态系统合作伙伴正在积极推动这一目标的实现。 结论 当我们探索扩展比特币和增强其可编程性的各种策略时,很明显,前进的道路涉及原生改进、链下计算和复杂脚本功能的融合。 如果没有灵活的基础层,就不可能构建更灵活的二层。 链下计算扩展是未来的趋势,但比特币的可编程性需要突破,才能更好地支持这种扩展性并成为真正的全球货币。 然而,比特币上的计算性质与以太坊上的计算性质有着根本区别。比特币只支持“验证”作为一种计算形式,无法执行一般计算,而以太坊本质上是计算性的,验证是计算的副产品。从一点可以看出这种区别:以太坊对无法执行的交易收取 Gas Fee,而比特币则不收取。 契约是一种基于验证而非计算的智能合约形式。除了少数中本聪原教旨主义者外,似乎所有人都认为契约是改进比特币的好选择。然而,社区仍在激烈争论应该采用哪种方法来实现契约。 APO、OP_VAULT、TLUV 偏向直接应用,选择这三种方式可以更便宜更高效地实现特定应用。闪电网络爱好者会选择 APO 来实现 LN-Symmetry;想要实现 Vault 的用户最好使用 OP_VAULT;而对于搭建 CoinPool,TLUV 可以提供更好的隐私性和效率。OP_CAT 和 TXHASH 功能更丰富,出现安全漏洞的概率更小,与其他操作码结合可以实现更多用例,但代价可能是脚本复杂度增加。CTV 和 CSFS 调整了区块链处理方式,CTV 实现延迟输出,CSFS 实现延迟签名。MATT 以乐观执行和欺诈证明的策略脱颖而出,利用 Merkle Trie 结构实现通用智能合约,但内省功能仍需要新的操作码。 我们看到比特币社区正在积极讨论通过软分叉获得 Covenants 的可能性。Starknet 已正式宣布加入比特币生态,计划在 OP_CAT 合并后六个月内在比特币网络上实现结算。Chakra 将继续关注比特币生态的最新动态,推动 OP_CAT 软分叉的合并,并利用 Covenants 带来的可编程性构建更安全、更高效的比特币结算层。 来源:金色财经
lg
...
金色财经
2024-07-15
盘点 ao Ventures 演示日的 11 个项目
go
lg
...
rbit 0rbit 是一个去中心化的
预言
机网络,使 AO 进程能够访问任何来自现实世界的数据。0rbit 解决了传统
预言
机网络的中心化、数据验证和许可问题,使开发者能够无缝地将各种类型的互联网数据(如新闻、股票、价格数据等)集成到他们的应用程序中。这些数据可以用于构建数据丰富的应用程序,如 AI 代理、社交金融、预测模型等。0rbit 通过去中心化的节点和无信任的验证机制,确保数据的可靠性和可验证性,并且允许任何人自由地设置节点并贡献数据。 11. LiquidOps LiquidOps 是一个基于 AO 的去中心化借贷协议,旨在利用未使用的资产推动 AO 上的 DeFi 发展。用户可以存入代币赚取收益,借款人则提供抵押品借入稳定币 USDA,并在去中心化交易所进行交易以增加流动性和利润。LiquidOps 确保借贷过程的安全性和可靠性,目标是为 AO 生态系统提供关键的流动性支持和促进 DeFi 产品的开发。 来源:金色财经
lg
...
金色财经
2024-07-15
XRP预测:10,000美元即将成为现实?点击查看最新分析
go
lg
...
信会出现转机。 他还提到,在最近的一次
预言
中,上帝告诉 XRP,跌至 0.45 美元的低点将标志着 XRP 可能卷土重来的另一个迹象。他预测,诉讼结束后,XRP 将迅速升至 5 美元,但没有提供具体的时间表。 在视频中,比格斯还讨论了其他加密资产,包括以太坊、卡尔达诺、恒星币(XLM)和柴犬。 同时,牧师强调,他的言论不构成财务建议,并敦促任何人不要投资任何东西。此外,比格斯透露,他只拥有 20 美元的加密货币,这些加密货币是他在 2017 年首次在美国交易所 Coinbase 开设加密货币账户时购买的。 免责声明:本文内容仅供参考,不应视为财务建议。本文表达的观点可能包括作者的个人意见 目前我们6个分析师一起投研出来的一些百倍潜力的币,和短期暴涨项目,可以关注我进社区了解,目前都是免费的 来源:金色财经
lg
...
金色财经
2024-07-15
8 个具有潜力的 DeFi 协议
go
lg
...
。 根据币安实验室去年的报告,交易员在
预言
机相关交易所损失了高达 8.92 亿美元,原因是这些交易所容易受到操纵,攻击者会抬高目标 dApp 上低流动性代币的价格,然后将高价代币换成其他代币。 8.Infinity Pool 想象一下一个去中心化交易所,它为任何资产提供无限杠杆,没有清算、没有交易对手风险、也没有
预言
机,这就是 Infinity Pools 正在构建的突破,它建立在具有集中流动性的 uniswap V3 上,利用 LP 头寸作为信贷来源,可以用任何 LP 资产偿还资产。他们得到了 Dragonfly、Coinbase Venture 和 Wintermute 等知名公司的支持。Infinity Pools 也是 Blast Bang Bang 竞争对手的获胜者,主网尚未上线,您可以通过他们的 Twitter 和 Discord 通知来获取未来更新。 来源:金色财经
lg
...
金色财经
2024-07-15
上一页
1
•••
38
39
40
41
42
•••
258
下一页
24小时热点
突发重磅消息!美军出动6架B-2隐形轰炸机 美媒:或带巨型钻地弹打击伊朗
lg
...
特朗普重大宣布!美军B2轰炸机参与袭击伊朗核设施 市场分析师最新回应来了
lg
...
重磅突发!特朗普:美国袭击了伊朗三个主要核设施 美国直接卷入冲突
lg
...
周评:本周金价突然大跌的原因在这!鲍威尔传递重要信号 中国祭出大动作
lg
...
突然重量级表态!美联储“当红理事”呼吁最早在7月降息
lg
...
最新话题
更多
#Web3项目情报站#
lg
...
6讨论
#SFFE2030--FX168“可持续发展金融企业”评选#
lg
...
36讨论
#链上风云#
lg
...
109讨论
#VIP会员尊享#
lg
...
1989讨论
#CES 2025国际消费电子展#
lg
...
21讨论