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

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.

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

Last updated 2 months ago