Open-source tool for Soroban smart contract developers, enabling them to perform robust formal verification.
Last 6 months · Weekly commits
K Framework Tools 7.0
The K Programming Language Tutorial
Reproducer: 32-bit signed wraparound in dwMaxVideoFrameBufferSize in the Linux UVC descriptor parser
Local development testnet for Stellar based on K semantics
Interactive breakpoint-style debugger for Stellar/Soroban
We've completed Moonlight's Privacy Channel protocol design & code review. Developed by @theahaco, Moonlight is a privacy-preserving payment infrastructure for Stellar. It enables shielded deposits, private transfers, & withdrawals via a UTXO-based model. Here's what we…
We've completed Moonlight's Privacy Channel protocol design & code review. Developed by @theahaco, Moonlight is a privacy-preserving payment infrastructure for Stellar. It enables shielded deposits, private transfers, & withdrawals via a UTXO-based model. Here's what we…
We've completed Moonlight's Privacy Channel protocol design & code review. Developed by @theahaco, Moonlight is a privacy-preserving payment infrastructure for Stellar. It enables shielded deposits, private transfers, & withdrawals via a UTXO-based model. Here's what we…
We've completed Moonlight's Privacy Channel protocol design & code review. Developed by @theahaco, Moonlight is a privacy-preserving payment infrastructure for Stellar. It enables shielded deposits, private transfers, & withdrawals via a UTXO-based model. Here's what we…
