BASICS

区块链基础

解释交易、区块、共识与节点,先建立可核对的基本概念。

区块链基础

智能合约如何通过预言机获取外部数据

智能合约通过预言机获取链下数据,解决其无法直接访问外部信息的问题。预言机分类包括输入、输出和计算型,确保智能合约在确定性系统中正常运行。然而,预言机面临数据可靠性、完整性及可用性等挑战。

区块链基础

静态分析如何验证智能合约的代码属性

静态分析通过检查智能合约的源代码验证其是否满足特定属性,但存在无法发现深层次漏洞和误报过多的局限性。它依赖于低级执行表示进行分析,并需结合动态分析以提高检测效果。