2024年12月17日 - 是一种用于智能合约编程的高级编程语言,它被设计用于以太坊区块链上的智能合约开发.它被用于编写智能合约,这些合约可以在以太坊区块链上执行,实现各种...

2018年7月19日 - CertiK是一款通过数学方法(形式化证明)验证智能合约漏洞的分布式应用,CertiK开发了一种基于层的方法,将待审计的代码按照逻辑上的层分解为...www.sohu.com

1条评论  7个收藏  发贴时间：2025年7月9日文章浏览阅读4.4k次。本文详细介绍如何使用Java在Hyperledger Fabric 1.4.1环境下创建、部署和运行智能合约,包括环境...blog.csdn.net

2026年5月19日 - 智能合约源码交付:不止于代码包,更是可复现的工程资产.这并非过度设计,而是对 合约上链智能合约 这一表述中 上链 二字的真正敬畏:链上即终局,没有后悔...