# Protocol Participation

- [Block Keeper](/for-node-owners/protocol-participation/block-keeper.md)
- [License](/for-node-owners/protocol-participation/block-keeper/license.md): General Information
- [Acki Nacki ВК Node License](/for-node-owners/protocol-participation/block-keeper/license/acki-nacki-vk-node-license.md): BLOCKCHAIN SOURCE LICENSE AGREEMENT
- [Working with Licenses](/for-node-owners/protocol-participation/block-keeper/license/working-with-licenses.md): The described flow will be applicable after the network is launched.
- [License Delegation Guide](/for-node-owners/protocol-participation/block-keeper/license/license-delegation-guide.md)
- [Setting up Block Keeper Node](/for-node-owners/protocol-participation/block-keeper/setting-up-block-keeper-node.md)
- [Join DNSP Gossip](/for-node-owners/protocol-participation/block-keeper/join-dnsp-gossip.md): Join Decentralized Network Starter Protocol
- [How does it work?](/for-node-owners/protocol-participation/block-keeper/how-does-it-work.md)
- [Guide for Block Keeper testing on Shellnet](/for-node-owners/protocol-participation/block-keeper/guide-for-block-keeper-testing-on-shellnet.md): Test joining the protocol
- [Formal Verification](/for-node-owners/protocol-participation/block-keeper/formal-verification.md): About Formal Verification approach
- [Block Keeper Contracts Business-Level Specification](/for-node-owners/protocol-participation/block-keeper/formal-verification/block-keeper-contracts-business-level-specification.md): Prepared by Pruvendo
- [Block Keeper Contracts High Level Specification](/for-node-owners/protocol-participation/block-keeper/formal-verification/block-keeper-contracts-high-level-specification.md)