Acki Nacki documentation
Ctrlk
OverviewFor Node OwnersFor Developers
  • Acki Nacki Overview
  • Glossary
  • Launch & Genesis
  • Tokenomics
  • For Node Owners
    • Protocol Participation
      • Block Keeper
        • License
        • Setting up Block Keeper Node
        • Join DNSP Gossip
        • How does it work?
        • Guide for Block Keeper testing on Shellnet
        • Formal Verification
          • Block Keeper Contracts Business-Level Specification
          • Block Keeper Contracts High Level Specification
      • Block Manager
    • Proxy service
  • For Developers
    • Getting Started with Acki Nacki
    • Messages
    • Transactions
    • Accounts
    • Smart Contracts
    • Developer Tools & SDK
  • For Users
    • Wallets
    • Formal Verification
Powered by GitBook
On this page
  1. For Node Owners
  2. Protocol Participation
  3. Block Keeper
  4. Formal Verification

Block Keeper Contracts High Level Specification

HLS is presented as a Web Application.

PreviousBlock Keeper Contracts Business-Level SpecificationNextBlock Manager

Last updated 1 year ago