Acki Nacki documentation

Acki Nacki docs For Developers What is Acki Nacki?

Acki Nacki Overview
Glossary
Launch & Genesis
Tokenomics
- Fee System
Protocol participation
Wallet
- Create Your Wallet
- ZK Login Authentication Flow

Powered by GitBook

On this page

Protocol participation

Block Keeper

Formal Verification

About Formal Verification approach

PreviousHow to join the protocol as Block Keeper?NextBlock Keeper Contracts Business-Level Specification

Last updated 2 months ago

The formal verification of Block Keeper smart contracts was performed by the .

On the following pages, you will find:

BLS - ,
HLS - ,
LLS - Low Level Specification of Block Keeper contracts.

Learn what formal verification is and find out about Pruvendo's formal verification approach.

Business Level Specification

High Level Specification