Acki Nacki documentation
CtrlK
OverviewFor Node OwnersFor Developers
  • Acki Nacki Overview
  • Glossary
  • Launch & Genesis
  • Tokenomics
    • Fee System
  • For Node Owners
    • Protocol Participation
      • Block Keeper
        • License
          • Acki Nacki ВК Node License
          • Working with Licenses
          • License Delegation Guide
        • 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
        • Setting up Block Manager Node
    • Proxy service
  • For Developers
    • Getting Started with Acki Nacki
    • Messages
    • Transactions
    • Accounts
    • Smart Contracts
    • Developer Tools & SDK
  • For Users
    • Wallets
      • Create Your Wallet
      • ZK Login Authentication Flow
    • Formal Verification
      • Multi-Factoring Business-level Specification
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 11 months ago