C# corner article on using Silver : How C# Language Features Affect Gas Cost In Stratis Smart Contracts
Silver: Smart contract static analyzer and formal verifier
A static analyzer and formal verifier for Stratis smart contracts integrated with Visual Studio for analyzing both C# and CIL code and providing knowledge about potential bugs and vulnerabilities.
Log in or sign up for Devpost to join the conversation.