Acki Nacki documentation
Ctrlk
OverviewFor Node OwnersFor Developers
  • Acki Nacki Overview
  • Glossary
  • Launch & Genesis
  • Tokenomics
  • For Node Owners
    • Protocol Participation
    • Proxy service
  • For Developers
    • Getting Started with Acki Nacki
    • Messages
    • Transactions
    • Accounts
    • Smart Contracts
    • Developer Tools & SDK
  • For Users
    • Wallets
    • Formal Verification
      • Multi-Factoring Business-level Specification
Powered by GitBook
On this page
  1. For Users

Formal Verification

Multi-Factoring Business-level Specification
PreviousZK Login Authentication FlowNextMulti-Factoring Business-level Specification