Acki Nacki documentation
Acki Nacki docsFor DevelopersWhat is Acki Nacki?
  • Acki Nacki Overview
  • Glossary
  • Launch & Genesis
  • Tokenomics
    • Fee System
  • Protocol participation
    • License
      • Acki Nacki Node License
      • Working with Licenses
      • License Delegation Guide
    • Block Keeper
      • Guide for Block Keeper testing on Shellnet
      • Join DNSP Gossip
      • Setting up Block Keeper Node
      • How to join the protocol as Block Keeper?
      • Formal Verification
        • Block Keeper Contracts Business-Level Specification
        • Block Keeper Contracts High Level Specification
    • Block Manager
      • Setting up Block Manager Node
    • Proxy service
  • Wallet
    • Create Your Wallet
    • ZK Login Authentication Flow
Powered by GitBook
On this page
  1. Protocol participation
  2. Block Keeper
  3. Formal Verification

Block Keeper Contracts High Level Specification

HLS is presented as a Web Application.

PreviousBlock Keeper Contracts Business-Level SpecificationNextBlock Manager

Last updated 7 months ago