README
¶
bl-program
Implements a fault proof program that runs through the rollup state-transition to verify an L2 output from L1 inputs. This verifiable output can then resolve a disputed output on L1.
The program is designed such that it can be run in a deterministic way such that two invocations with the same input data wil result in not only the same output, but the same program execution trace. This allows it to be run in an on-chain VM as part of the dispute resolution process.
Compiling
To build bl-program, from within the bl-program directory run:
make bl-program
This resulting executable will be in ./bin/bl-program
Testing
To run bl-program unit tests, from within the bl-program directory run:
make test
Lint
To run the linter, from within the bl-program directory run:
make lint
This requires having golangci-lint installed.
Running
From within the bl-program directory, options can be reviewed with:
./bin/bl-program --help
Directories