Ladislaus von DanielsLadislaus von Daniels wrote an Ethereum Foundation article explaining optional execution proofs in EIP-8025.3 talks by Ladislaus von DanielsZK AttestingLadislaus von Daniels - Validating With an ZkAttester ClientLadislaus von Daniels - Validating from hardware enclaves