머클상태전이증명이란 트랜잭션의 결과값을 확인하기위해(상태가 변화되었는지 확인한다.) 시점이 변경되면서 상태가 변경됐을때 해당상태를 변경됐다는거를 증명하는것 상태전이=어떤 사건이 발생을 하면은 다른상태로 변경이되는것 즉 변화를 상태전이라고칭함 라이트 클라이언트는 비어있는 블록에 정보를 담아서 이정보를 이더리움노드가 알려준 정보와 비교해서 맞다면 해당증명을 수용한다. 루트S=>트랜잭션T실행 = (로그L,아웃풋O) 상태루트S