When trying to validate a transaction which is stored in the Cardano transactions table but not already part of the signed block range among other signed transactions, the cleint (CLI and WASM) fails with error Error: Proof and certificate doesn't match.
What
A first investigation shows that the problem is that the transaction which is not signed is considered signed and embedded in a proof. The problem can be fixed by verifying that the transactions to prove are strictly part of the block ranges that are signed.
How
[x] Investigate the problem
[x] Create a fix and make the prover return non yet certified transactions as non valid
Why
When trying to validate a transaction which is stored in the Cardano transactions table but not already part of the signed block range among other signed transactions, the cleint (CLI and WASM) fails with error
Error: Proof and certificate doesn't match.What
A first investigation shows that the problem is that the transaction which is not signed is considered signed and embedded in a proof. The problem can be fixed by verifying that the transactions to prove are strictly part of the block ranges that are signed.
How