Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 15 Ethereum Smart Contracts Verification Open Source Projects

Open source projects categorized as Ethereum Smart Contracts Verification
Categories > Blockchain > Ethereum
Categories > Blockchain > Smart Contracts
Categories > Software Quality > Verification
Ethereum_formal_verification_overview ⭐ 288
Overview of the formal verification projects in the Ethereum ecosystem.
most recent commit 5 months ago
Flint ⭐ 245
The Flint Programming Language for Smart Contracts
most recent commit a year ago
Ergo ⭐ 144
Programming Language for Smart Legal Contracts
dependent packages 9total releases 960most recent commit 2 years agonpm @accordproject/ergo-compiler} Downloads
Merkletreejs Solidity ⭐ 87
Construct merkle trees with MerkleTree.js and verify merkle proofs in Solidity.
most recent commit 2 years ago
Merkletreejs Multiproof Solidity ⭐ 37
Verifying merkle multiproofs in solidity example (unaudited)
most recent commit 2 years ago
Merkletreejs Nft Whitelist ⭐ 33
Solidity NFT whitelist contract example using MerkleTree.js for constructing merkle root and merkle proofs.
most recent commit 2 years ago
Eurus ⭐ 31
Precise Attack Synthesis for DeFi Apps
most recent commit 2 years ago
Zksnarks Example ⭐ 23
An example of how generate zero-knowledge proofs and verify using an Ethereum smart contract.
most recent commit 5 years ago
Dynamit ⭐ 17
Dynamit: Dynamic Vulnerability Detection of Ethereum Smart Contracts Using Machine Learning by @mojtaba-eshghie
most recent commit 6 months ago
Nahmii Contracts ⭐ 13
Smart contracts for nahmii 2nd layer scaling solution for Ethereum
most recent commit 4 years ago
Minievm ⭐ 11
Mini Ethereum Virutal Machine
most recent commit 6 years ago
Uuniosmartcontract ⭐ 8
UUNIO ERC20 Smart Contract
most recent commit 5 years ago
Sol Ecverify ⭐ 8
A solidity library for verifying elliptic curve signatures in Ethereum (ecrecover)
most recent commit 5 years ago
Idea Solidity Solhint ⭐ 7
JetBrains IDEA plugin to provide Solhint code verification
most recent commit 6 years ago
Piiverificationproject ⭐ 6
This project demonstrate that how a government or any super authority can utilize the Ethereum blockchain for the attestation of citizen's PII data. By empowering the user and allowing user to verify his information on any third party website using his Ethereum account through Web.3.0 wallets.
most recent commit a year ago
Popular Blockchain Categories
Blockchain
Ethereum
Bitcoin
Cryptocurrency
Wallet
Mining
Smart Contracts
Fabric
Web3
Dapp
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.