Developer ecosystem & tooling

Developer tooling and frameworks - Smart contract language innovations, formal verification methods, improvements to existing languages and novel approaches - Security best practices, auditing methods, and vulnerability detection tools - Utility contracts, DApps, and infrastructure solutions for scalable applications - Privacy preservation tools - Blockchain and AI