For Acki Nacki Developers

Acki Nacki docs For Developers For Validators

About Acki Nacki SDK
How to deploy a Multisig Wallet
Dapp ID Full Guide: creation, fees, centralized replenishment
Quick Starts
- Quick Start TVM SDK JavaScript
- GraphQL Quick Start
Reference
VM Instructions
- Acki Nacki VM Instructions
- Formal Verification
  - Acki Nacki VM Instructions Business-Level Specification
GraphQL
ABI
- ABI Specification
Examples
- Client Libraries JS Examples
- GraphQL API Examples
For Binding Developers
- How to work with Application Objects in binding generators
- JSON Interface to TVM Client
Links
- TVM SDK repository

Powered by GitBook

On this page

VM Instructions

Formal Verification

About Formal Verification approach

PreviousAcki Nacki VM Instructions NextAcki Nacki VM Instructions Business-Level Specification

Last updated 1 month ago

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

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