> For the complete documentation index, see [llms.txt](https://docs.ackinacki.com/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://docs.ackinacki.com/for-node-owners/protocol-participation/block-keeper/formal-verification/block-keeper-contracts-high-level-specification.md).

# Block Keeper Contracts High Level Specification

[HLS is presented as a Web Application.](https://ursus-tools.dev/03272f6a-b0aa-4bc0-835a-5f1b15b843ff/HLS.html)