Plutus项目中的RIPEMD-160哈希函数实现解析
在区块链智能合约开发领域,Plutus作为Cardano区块链的智能合约平台,其核心组件Plutus Core一直在不断扩展内置功能以满足开发者需求。近期,Plutus Core团队成功实现了RIPEMD-160哈希函数作为新的内置函数(builtin),这一技术进展为智能合约开发者提供了更丰富的密码学工具选择。
RIPEMD-160是一种经典的密码学哈希函数,由Hans Dobbertin等人在1996年设计,作为对MD4和MD5算法的改进版本。它能够将任意长度的输入数据转换为固定160位的哈希值,具有较好的抗碰撞性和安全性。在区块链应用中,RIPEMD-160常被用于地址生成和数字签名等场景。
技术实现方面,该功能通过两个关键Pull Request完成:首先是基础实现(#6252),随后是代码更新以保持与主仓库同步(#6378)。这种分阶段实施方式确保了代码质量和技术兼容性。实现过程中,开发团队特别注重以下技术细节:
- 算法正确性:严格遵循RIPEMD-160标准规范,确保哈希计算结果与其他实现完全一致
- 性能优化:针对Plutus Core执行环境进行特定优化,减少Gas消耗
- 安全性验证:通过多种测试向量验证算法实现的正确性和安全性
从技术架构角度看,将RIPEMD-160作为内置函数而非通过外部库实现,带来了显著的性能优势。内置函数可以直接在Plutus Core虚拟机层面执行,避免了昂贵的跨环境调用开销。同时,这种实现方式也增强了确定性,这对区块链智能合约的执行至关重要。
对于智能合约开发者而言,这一新增功能意味着:
- 可以更灵活地选择哈希算法,根据具体需求在SHA家族和RIPEMD-160之间做出选择
- 能够实现与现有区块链系统的更好兼容,特别是那些使用RIPEMD-160作为标准算法的系统
- 为开发更复杂的密码学协议提供了基础构建块
虽然当前实现已经达到生产就绪状态,但团队仍在完善相关文档和测试工作。未来计划包括将其正式纳入PLC规范文档,并增加端到端测试用例,确保长期稳定性和可靠性。
这一技术增强体现了Plutus团队对开发者需求的快速响应能力,也展示了Plutus Core作为智能合约平台的持续进化。随着更多密码学原语的加入,Plutus将为Cardano生态系统的DeFi、NFT和其他区块链应用提供更强大的基础设施支持。
kernelopenEuler内核是openEuler操作系统的核心,既是系统性能与稳定性的基石,也是连接处理器、设备与服务的桥梁。C080
baihu-dataset异构数据集“白虎”正式开源——首批开放10w+条真实机器人动作数据,构建具身智能标准化训练基座。00
mindquantumMindQuantum is a general software library supporting the development of applications for quantum computation.Python056
PaddleOCR-VLPaddleOCR-VL 是一款顶尖且资源高效的文档解析专用模型。其核心组件为 PaddleOCR-VL-0.9B,这是一款精简却功能强大的视觉语言模型(VLM)。该模型融合了 NaViT 风格的动态分辨率视觉编码器与 ERNIE-4.5-0.3B 语言模型,可实现精准的元素识别。Python00
GLM-4.7GLM-4.7上线并开源。新版本面向Coding场景强化了编码能力、长程任务规划与工具协同,并在多项主流公开基准测试中取得开源模型中的领先表现。 目前,GLM-4.7已通过BigModel.cn提供API,并在z.ai全栈开发模式中上线Skills模块,支持多模态任务的统一规划与协作。Jinja00
agent-studioopenJiuwen agent-studio提供零码、低码可视化开发和工作流编排,模型、知识库、插件等各资源管理能力TSX0135
Spark-Formalizer-X1-7BSpark-Formalizer 是由科大讯飞团队开发的专用大型语言模型,专注于数学自动形式化任务。该模型擅长将自然语言数学问题转化为精确的 Lean4 形式化语句,在形式化语句生成方面达到了业界领先水平。Python00