它可以支持對執行過程、證明(attestations)和結算的驗證。