ResearchBenchmarksFormal Verification on Smart ContractsFollow3Verification Target PatternQANARY2.852.92533.075Jun 1, 2026Evaluation ResultsMethodMethodLinksVerification Target PatternComposition SupportAxiom FootprintNumber of Production Protocols VerifiedQANARY2026.063——2