A method for providing verifiable testimony information for an execution of least part of a computer program, said computer program comprising a series of computer-readable instructions to be executed on a computing entity, the method comprising a generation procedure and a testify procedure, wherein said generation procedure comprising the steps of - Computing evaluation information and verification information wherein, said evaluation information being computed dependent on a secret key, at least said part of said computer program provided with at least one breakpoint for initiating execution of a snapshot procedure and a hash function, and wherein said verification information being computed dependent on at least said part of said computer program, snapshot information and on a verification key, and wherein said testify procedure comprising the steps of - Executing in a memory of a computing device at least said part of said computer program comprising said at least one defined breakpoint on certain input data, - Upon reaching a breakpoint during execution of at least said part of said computer program, computing snapshot data by executing said snapshot procedure by a trusted execution environment entity of said computing device, said snapshot procedure determining a current status of output data of at least said part of said executed computer program and applying said hash function on said determined status, - After completion of said snapshot procedure, resuming execution of at least said part of said computer program - Temporarily storing said computed snapshot data associated with said breakpoint, - Signing said computed snapshot data with said secret key to provide testimony data, and - Providing verifiable testimony information including said verification information, said input data and said testimony data. said generation procedure comprising the steps of - Computing evaluation information and verification information wherein, said evaluation information being computed dependent on a secret key, at least said part of said computer program provided with at least one breakpoint for initiating execution of a snapshot procedure and a hash function, and wherein said verification information being computed dependent on at least said part of said computer program, snapshot information and on a verification key, - Computing evaluation information and verification information wherein, said evaluation information being computed dependent on a secret key, at least said part of said computer program provided with at least one breakpoint for initiating execution of a snapshot procedure and a hash function, and wherein said verification information being computed dependent on at least said part of said computer program, snapshot information and on a verification key, and wherein said testify procedure comprising the steps of - Executing in a memory of a computing device at least said part of said computer program comprising said at least one defined breakpoint on certain input data, - Upon reaching a breakpoint during execution of at least said part of said computer program, computing snapshot data by executing said snapshot procedure by a trusted execution environment entity of said computing device, said snapshot procedure determining a current status of output data of at least said part of said executed computer program and applying said hash function on said determined status, - After completion of said snapshot procedure, resuming execution of at least said part of said computer program - Temporarily storing said computed snapshot data associated with said breakpoint, - Signing said computed snapshot data with said secret key to provide testimony data, and - Providing verifiable testimony information including said verification information, said input data and said testimony data. - Executing in a memory of a computing device at least said part of said computer program comprising said at least one defined breakpoint on certain input data, - Upon reaching a breakpoint during execution of at least said part of said computer program, computing snapshot data by executing said snapshot procedure by a trusted execution environment entity of said computing device, said snapshot procedure determining a current status of output data of at least said part of said executed computer program and applying said hash function on said determined status, - After completion of said snapshot procedure, resuming execution of at least said part of said computer program - Temporarily storing said computed snapshot data associated with said breakpoint, - Signing said computed snapshot data with said secret key to provide testimony data, and - Providing verifiable testimony information including said verification information, said input data and said testimony data.