aptos-core VS madsim

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)

Being able to control nondeterminism is particularly useful for testing and debugging. This allows creating reproducible test environments, as well as discrete-event simulation for faster-than-real-time simulation of time delays. For example, Cardano uses a simulation environment for the IO monad that closely follows core Haskell packages; Sui has a simulator based on madsim that provides an API-compatible replacement for the Tokio runtime and intercepts various POSIX API calls in order to enforce determinism. Both allow running the same code in production as in the simulator for testing.

How Turmoil different from madsim? Is Turmoil a successor of madsim?