Solarkraft

Runtime monitoring of Soroban smart contracts to aid developers and auditors in finding critical bugs before and in production.
Project Type
Formal Verification Tool
Total awarded
$50.0K*
Submissions
1
Core team
Igor Konnov
Igor Konnov
github_icon slylandro_star
github_icontwitter_icon
Jure Kukovec
Jure Kukovec
github_icon spaghetticode_sentinel
github_icon
Andrey Kuprianov
Andrey Kuprianov
github_icon kuprumion
github_icon
Thomas Pani
Thomas Pani
github_icon audithare
github_icon

*The USD valuation of the budget request in XLM will be calculated using the CF Stellar Lumens-Dollar Settlement Price on the day of payment as administered, maintained, and reported by the cryptocurrency index provider CF Benchmarks Ltd. (using the ticker XLMUSD_RR) (available at https://www.cfbenchmarks.com/indices/XLMUSD_RR). Learn more in the SCF Handbook.

logo_with_name
Supporting developers, startups, and full-fledged companies building on Stellar and Soroban
© 2023 Stellar Development Foundation
Subscribe to the Newsletter