typed-protocols VS aptos-core

Certain correctness properties of code can be ensured statically, i.e. at compile time. Those checks rely on the programming language's type system. Software engineers can take advantage of type safety features to implement components in a way that makes them safe by construction. For example, Cardano uses the typed-protocols package, a generic framework for implementing application-level protocols, which is based on a simple form of session typing.6 Within this framework, protocols are described as state machines encoded into Haskell types. The allowed transitions between states correspond to messages exchanged between the peers, so the protocol state determines which messages are allowed to be sent or must be accepted when received, at type level. This simplifies protocol implementation, allows early detection of protocol violations, and makes the protocols themselves deadlock-free by construction. More advanced type-level programming techniques may allow achieving impressive levels of type safety; however, such code may be significantly harder to implement, understand, and maintain.

I like to use typed-protocols for this: https://github.com/input-output-hk/typed-protocols/

AptosBFT — a consensus component supporting state machine replication in the Aptos blockchain (written in Rust);

aptos-sdk = { git = "https://github.com/aptos-labs/aptos-core", branch = "devnet" }

// import transaction build from aptos sdk: https://github.com/aptos-labs/aptos-core/tree/main/ecosystem/typescript/sdk import { BCS, TxnBuilderTypes } from 'aptos'; // Establish connection to the wallet const result = await (window as any).aptos.connect() // Check connection status of wallet const status = await (window as any).aptos.isConnected() // Gets the address of the account signed into the wallet const accountAddress = await (window as any).aptos.account() // Create a transaction const transaction = { arguments: [address, '717'], function: '0x1::coin::transfer', type: 'entry_function_payload', type_arguments: ['0x1::aptos_coin::AptosCoin'], }; // Send transaction to the extension to be signed and submitted to chain const response = await (window as any).aptos.signAndSubmitTransaction(transaction) // Send transaction to the extension to be signed and returns const signedTransaction = await (window as any).aptos.signTransaction(transaction) // Disconnect dApp from the wallet await (window as any).aptos.disconnect(transaction)