Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Ethereum Verification Open Source Projects

Open source projects categorized as Ethereum Verification
Categories > Blockchain > Ethereum
Categories > Software Quality > Verification
Truffle Plugin Verify ⭐ 447
✅ Verify your smart contracts on Etherscan from the Truffle CLI
dependent packages 250total releases 77most recent commit 5 months agonpm truffle-plugin-verify} Downloads
Ethereum_formal_verification_overview ⭐ 288
Overview of the formal verification projects in the Ethereum ecosystem.
most recent commit 5 months ago
Ethereum Formal Verification Overview ⭐ 269
The start page about my efforts around smart contract verification
most recent commit 4 years 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
Sybil List ⭐ 135
List of verified mappings from Ethereum addresses to social profiles
most recent commit a year ago
Daochain ⭐ 113
Docker image verification system based on Ethereum
most recent commit 7 years ago
Merkletreejs Solidity ⭐ 87
Construct merkle trees with MerkleTree.js and verify merkle proofs in Solidity.
most recent commit 2 years ago
In3 Legacy ⭐ 76
[Deprecated] Typescript-version of the IN3 client.
dependent packages 3total releases 38most recent commit a year agonpm in3-asmjs} Downloads
Solrsaverify ⭐ 72
Solidity RSA Sha256 Pkcs1 Verification
dependent packages 1total releases 1most recent commit 5 months agonpm solrsaverify} Downloads
Decentralized Voting System ⭐ 67
Secure Electronic Voting using Azure Blockchain
most recent commit 5 years ago
Silver ⭐ 66
Definition of the Viper intermediate verification language.
most recent commit 3 months ago
Sybil Interface ⭐ 63
Interface that incorporates Sybil, a governance tool for discovering delegates.
most recent commit 2 years ago
Iudex ⭐ 54
Iudex is a smart contract based reputation system.
most recent commit 8 years ago
Ethereum Rsa ⭐ 44
RSA signature verification in Ethereum
most recent commit 8 years ago
Backend Token Wallets ⭐ 44
Backend for Ethereum & ERC-20 tokens
most recent commit 6 years ago
Ocaml Offchain ⭐ 39
Fork of WebAssembly reference interpreter with support for generating proofs needed for blockchain verification
most recent commit 4 years ago
Merkletreejs Multiproof Solidity ⭐ 37
Verifying merkle multiproofs in solidity example (unaudited)
most recent commit 2 years ago
Eth2.0 Dafny ⭐ 35
Eth2.0 spec in Dafny
most recent commit 3 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
Cove Backend ⭐ 23
Simple, reliable, open-source contract verification built for an L2 centric Ethereum ecosystem
most recent commit 8 months ago
The 4 Most Depended On Ethereum Verification Open Source Projects
Truffle Plugin Verify ⭐ 447
✅ Verify your smart contracts on Etherscan from the Truffle CLI
dependent packages 250total releases 77latest release November 20, 2023most recent commit 5 months agonpm truffle-plugin-verify} Downloads
Ergo ⭐ 144
Programming Language for Smart Legal Contracts
dependent packages 9total releases 960latest release November 08, 2022most recent commit 2 years agonpm @accordproject/ergo-compiler} Downloads
In3 Legacy ⭐ 76
[Deprecated] Typescript-version of the IN3 client.
dependent packages 3total releases 38latest release November 12, 2020most recent commit a year agonpm in3-asmjs} Downloads
Solrsaverify ⭐ 72
Solidity RSA Sha256 Pkcs1 Verification
dependent packages 1total releases 1latest release March 14, 2018most recent commit 5 months agonpm solrsaverify} Downloads
The 4 Latest Releases In Ethereum Verification Open Source Projects
Truffle Plugin Verify ⭐ 447
✅ Verify your smart contracts on Etherscan from the Truffle CLI
dependent packages 250total releases 77latest release November 20, 2023most recent commit 5 months agonpm truffle-plugin-verify} Downloads
Ergo ⭐ 144
Programming Language for Smart Legal Contracts
dependent packages 9total releases 960latest release November 08, 2022most recent commit 2 years agonpm @accordproject/ergo-compiler} Downloads
In3 Legacy ⭐ 76
[Deprecated] Typescript-version of the IN3 client.
dependent packages 3total releases 38latest release November 12, 2020most recent commit a year agonpm in3-asmjs} Downloads
Solrsaverify ⭐ 72
Solidity RSA Sha256 Pkcs1 Verification
dependent packages 1total releases 1latest release March 14, 2018most recent commit 5 months agonpm solrsaverify} Downloads
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.