# Page Not Found

The URL `protocol-participation/block-keeper/formal-verification` does not exist.

You might be looking for one of these pages:
- [Formal Verification](https://docs.ackinacki.com/for-node-owners/protocol-participation/block-keeper/formal-verification.md)
- [Formal Verification](https://docs.ackinacki.com/for-users/formal-verification.md)
- [Block Keeper Contracts High Level Specification](https://docs.ackinacki.com/for-node-owners/protocol-participation/block-keeper/formal-verification/block-keeper-contracts-high-level-specification.md)
- [Block Keeper Contracts Business-Level Specification](https://docs.ackinacki.com/for-node-owners/protocol-participation/block-keeper/formal-verification/block-keeper-contracts-business-level-specification.md)
- [Join DNSP Gossip](https://docs.ackinacki.com/for-node-owners/protocol-participation/block-keeper/join-dnsp-gossip.md)

## How to find the correct page

1. **Browse the full index**: [/sitemap.md](https://docs.ackinacki.com/sitemap.md) - Complete documentation index
2. **View the full content**: [/llms-full.txt](https://docs.ackinacki.com/llms-full.txt) - Full content export

## Tips for requesting documentation

- For markdown responses, append `.md` to URLs (e.g., `/for-node-owners/protocol-participation/block-keeper/formal-verification.md`)
- Use `Accept: text/markdown` header for content negotiation