Pinned
Runtime Vеrification
@rv_inc
We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain.
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 found:- The Ethereum Security QF Round is a wrap! We raised 3.19 ETH for K-based tooling, 1.13 ETH for ERCx, and 3.44 ETH for Simbolik. Big thanks to everyone who contributed and to the @Giveth team for running the round. All funds are going straight into improving all three tools:
- Bitcoin has always been DeFi's largest untapped asset. @babylonlabs_io just changed that & we're proud to have helped: we've completed formal verification of the Trustless Bitcoin Vaults protocol, including some of the mission-critical Aave V4 integration components. The recap:
