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

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

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

On the following pages, you will find:

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

PreviousGuide for Block Keeper testing on Shellnet NextBlock Keeper Contracts Business-Level Specification

Last updated 3 months ago