thiagonobrega/auditable_pprl

bc-playground

This repository contain the source code, dataset and instructions

Re-run the experiments

• The datasets need to be extracted (see Dataset/README.md )
• Run the execution scripts
  • Ethereum Instructions
  • Python (see (see execution/README.md )