Soroban Security Portal is a go-to hub for all things secure in the world of Soroban - Soroban's smart contract platform. Think of it as your safety compass: audit history, tools, tips and top-tier experts who've put Soroban projects through their paces.
Last 6 months · Weekly commits
🌀 Inference programming language
🌀 Inference programming language specification
Unified knowledge base of Soroban common vulnerabilities and best practices
Inferara official website
The Inference Programming Language
Soroban Smart Contracts Reverse Engineering Tool
If you @BuildOnStellar please give @InferenceLang a go
A @StellarOrg - target build is now a complete, deployable, invocable Stellar Smart contract, for pure functions over scalars. https://github.com/Inferara/inference/pull/484
Analyze company financials and prepare a comprehensive report in just 30 minutes.
Traceability and control is very important. And it is even more important when work is delegated to autonomous actors. Finance, law, and regulations are sensitive and proper data sources must be…
Our team is small, but every member brings exceptional talent and deep expertise in specialized fields such as programming language and compiler development, formal methods, software correctness verification, and algorithm design. We haven’t posted much about AI agents — not…
Thank you to @dripsnetwork for inviting us to speak about the Stellar Security Portal and open source projects. Enjoyed hearing from @stellarroute about their journey on Stellar which was was accelerated by open source contributors, leading to their SCF #45 submission!
