Source code verification service for Ethereum smart contracts

Smart contracts which are formally verified

Smart Contract Security Verification Standard

Smart Contract Security Verification Standard

✅ Verify your smart contracts on Etherscan from the Truffle CLI

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

The start page about my efforts around smart contract verification

A formal verifier and analysis tool for Solidity Smart Contracts

Smart contracts for onchain verification of SP1.

Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.

A framework for smart contract verification in Coq

MythX smart contract security verification plugin for Truffle Framework

Smart contracts for zero-knowledge proofs verification on-chain with PolygonID

a safety verifier for Solidity smart contracts

A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.

Account Abstraction smart contract accounts, modules, audits, tests, and formal verification

Horus, a formal verification tool for StarkNet smart contracts.

A Prediction Market Contract is a smart contract that lets users bet on future events, collects their stakes, verifies the outcome via an oracle, and automatically pays out winners, all trustlessly and on-chain.

Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full formal verification practical.

One click guide to deploy and verify smart contract on Abstract Testnet

A hyper gas optimized and formally verified smart contract, written in huff. 🐎

A curated, verified list of AI-powered tools for smart contract and blockchain security

A smart contract explorer. Visualize and interact with common DeFi projects or any other verified smart contract​

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

This repository explores the integration of blockchain technology into the banking sector, focusing on security, transparency, and efficiency. Our goal is to develop decentralized solutions for payments, identity verification, smart contracts, and cross-border transactions while ensuring compliance with financial regulations.

A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executions.

Smart contract templates for publishing BrightID verifications on-chain and using those verifications

Ethereum smart contracts that enable the verification of transactions of a "target" blockchain on a different "verifying" blockchain in a trustless and decentralized way

An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.

Runtime verification tool for Solidity smart contracts.