用于保护验证密钥不被更改并验证正确性证明的有效性的系统

摘要

本发明涉及分布式账本技术，例如，基于共识的区块链。区块链交易可能包括被锁定脚本锁定(encumber)的数字资源，该锁定脚本对使用被锁定资源(例如，转移对被锁定资源的所有权/控制)之前必须满足的一组条件进行编码。工作者(例如，计算机系统)执行一个或多个计算来生成证明，该证明被编码为解锁脚本的一部分。验证算法可以利用证明、验证密钥和附加数据(诸如与工作者相关联的加密材料(例如，数字签名))，来验证交易的数字资产应该被转移。作为该交易的验证结果，任何第三方都能够检验合约是否被执行校正，而不是重新执行该合约，从而节省计算能力。