huff-snark-verifier
Verifier generator
Generates optimized smart contract code for verifying proofs in blockchain applications
Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
126 stars
4 watching
6 forks
Language: Solidity
last commit: over 2 years ago
Linked from 1 awesome list
devtooligan/awesome-huffRelated projects:
| Repository | Description | Stars |
|---|---|---|
 aniket-engg/sol-verifier | Tool to verify Solidity smart contracts on Etherscan | 30 |
 amadimichael/p256-verifier-huff | An experimental implementation of a curve signature verifier optimized in Huff Language for the P256 curve | 26 |
 sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |
 ethereum/sourcify | A decentralized service for verifying the integrity of smart contract source code on Ethereum. | 791 |
 jesserc/secp256k1-huff | A Huff implementation of an elliptic curve library used in cryptocurrency applications | 5 |
 veridise/picus | Automated tool for verifying uniqueness properties in zero-knowledge proof circuits | 70 |
| amadimichael/huffs | An implementation of popular Solidity libraries and contracts in the Huff language | 18 |
 sec-bit/tokenlibs-with-proofs | Verifies the correctness of Ethereum token contracts using formal methods and proof assistants. | 97 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 159 |
 raineorshine/solidity-by-example | A collection of contract examples showcasing Solidity language features and use cases in Ethereum smart contracts | 430 |
 runtimeverification/verified-smart-contracts | Formally verified smart contracts for blockchain applications | 720 |
 jg8481/robot-framework-solidity-testing-toolkit | A toolkit combining Solidity testing and cross-chain deployment tools with Robot Framework for developing robust and secure smart contract applications on Ethereum and other EVM-compatible blockchains. | 11 |
 meherett/pytest-solidity | Tests smart contracts written in Solidity on the Ethereum blockchain | 27 |
 rust-ethereum/ethabi | Encodes and decodes function calls and their output in smart contracts | 518 |
 huff-language/huffmate | A comprehensive collection of reusable, optimized, and well-tested smart contract libraries written in Solidity. | 442 |