本申请提供一种生成区块状态承诺和证明及验证区块状态证明的方法，包括：每次在区块中写入状态时，记录写入状态的版本；将所述写入状态的状态名和所述版本输入全局过滤器，得到过滤器结果，并在所述区块中记录所述过滤器结果作为不存在性承诺；对所述区块所有写入状态的状态名和复合状态值进行计算，将计算结果作为存在性承诺；在区块中记录所述存在性承诺；其中，所述区块包含全部区块的所有非过期写入状态的不存在性承诺。通过以区块为单位组织状态树，状态树的规模小，结合写入状态的过期机制，在全局状态规模巨大但活跃状态规模有限的场景下，极大降低了计算状态存在性证明的代价，缩短了状态证明数据的长度。