?????????????????????????????????????????????????????????? ?????????????????????????????????? ???????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????????? The two key modifications tend to be the introduction on the Merkelized Abstract Syntax Tree