{"repo":"freespek/solarkraft","free":true,"listed":false,"github":"https://github.com/freespek/solarkraft","clone":"git clone https://github.com/freespek/solarkraft.git","description":"Solarkraft: a runtime monitoring tool for Soroban, powered by TLA+ and Apalache","language":"TypeScript","stars":12,"topics":["smart-contracts","soroban","stellar","tlaplus","verification"],"license":"Apache-2.0","category":"blockchain-web3","readme_excerpt":"Solarkraft Solarkraft is a runtime monitoring tool for [Soroban][], powered by [TLA+][] and [Apalache][]. We have finished the activation phase and developed an MVP. 🎥 Watch the 10-minute demo video by Jure Kukovec. For more explanation, read our series of blog posts: - Part 1: [A New Hope – Why Smart Contract Bugs Matter and How Runtime Monitoring Saves the Day][new hope] - Part 2: [Guardians of the Blockchain: Small and Modular Runtime Monitors in TLA+ for Soroban Smart Contracts][guardians] - Part 3: [How to Run Solarkraft][howto] - Part 4: [The Force Awakens: Hybrid Blockchain Runtime Monitors][part4] - Part 5: [The Rise of Model Checker: Verifying Blockchain Monitors In and Near Realtime][part5] Project Details Solarkraft is a tool for runtime monitoring of [Soroban smart contracts][Soroban]. It tests whether a smart contract conforms to its specification during contract development, testing, and after contract deployment on the [Stellar blockchain][Stellar]. The contract specification is written as an ensemble of [TLA+][] specifications, each capturing a property of the contract’s expected behavior. Solarkraft inspects invocations of the timelock contract’s methods in the history of Stellar transactions. Whenever Solarkraft finds a deviation from the expected behavior (as prescribed by the monitor specifications) it reports a monitoring alert. Importantly, monitors are small snippets of code, not an entire specification. This makes them more accessible formal artifacts","default_branch":null,"files":null,"tree":[],"storefront":"/r/freespek","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/freespek/solarkraft/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}