fix: fix process attestation source/target check bug#258

tcoratger merged 1 commit intoleanEthereum:mainleanEthereum/leanSpec:mainfrom

GrapeBaBa:gr/fix_process_attestation_bugGrapeBaBa/leanSpec:gr/fix_process_attestation_bugCopy head branch name to clipboard