huff-snark-verifier
by whitenois3
Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
AI summary
Verifier generator
Generates optimized smart contract code for verifying proofs in blockchain applications
- stars
- 126
- forks
- 6
- watching
- 4
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Contract Verifier
Tool to verify Solidity smart contracts on Etherscan
Curve Verifier
An experimental implementation of a curve signature verifier optimized in Huff Language for the P256 curve
Contract verifier
An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.
Contract verifier
A decentralized service for verifying the integrity of smart contract source code on Ethereum.
Elliptic curve library
A Huff implementation of an elliptic curve library used in cryptocurrency applications
Circuit verifier
Automated tool for verifying uniqueness properties in zero-knowledge proof circuits
Solidity compilers
An implementation of popular Solidity libraries and contracts in the Huff language
Token contract verifier
Verifies the correctness of Ethereum token contracts using formal methods and proof assistants.
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
Contract snippets
A collection of contract examples showcasing Solidity language features and use cases in Ethereum smart contracts
Verified contracts
Formally verified smart contracts for blockchain applications
Smart Contract 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.
Contract tester
Tests smart contracts written in Solidity on the Ethereum blockchain
Smart contract invoker
Encodes and decodes function calls and their output in smart contracts
Smart contract library
A comprehensive collection of reusable, optimized, and well-tested smart contract libraries written in Solidity.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions huff-snark-verifier.
