m-kus / tz-starksLinks
🐺 Simple STARK verifier in cameligo
☆11Updated 2 years ago
Alternatives and similar repositories for tz-starks
Users that are interested in tz-starks are comparing it to the libraries listed below
Sorting:
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆57Updated 3 weeks ago
- An implementation of a DKG protocol for front-running protection on Anoma.☆83Updated 2 years ago
- A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.☆30Updated 2 years ago
- Use https://twitter.prove.email to prove that you own a Twitter username, on-chain.☆49Updated 10 months ago
- ☆97Updated 2 years ago
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 4 years ago
- Tezos TZIP-16/TZIP-12 metadata indexer☆17Updated last year
- ☆73Updated last year
- ☆30Updated this week
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Updated 2 years ago
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Updated 7 months ago
- A development environment, testing framework, and origination pipeline focused solely on Tezos☆34Updated 2 years ago
- In-EVM Mina State Verification☆81Updated 2 years ago
- Finite Field Library in Javascript☆55Updated 2 months ago
- Trustlessly prove a past storage value in a contract to other contracts☆145Updated 2 years ago
- Cross-zk-rollup aggregation☆61Updated 2 years ago
- ☆62Updated 2 years ago
- ☆94Updated 4 years ago
- Hardhat plugin to integrate Circom and SnarkJS into your build process.☆119Updated 2 years ago
- A Cryptographic Library for Smooth Blockchain uses☆81Updated last year
- super cheap solidity schnorr sig verification using only ecrecover and keccak256☆55Updated 3 years ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆83Updated last week
- ☆80Updated 5 years ago
- ☆27Updated 8 months ago
- A battleship game using ZKPs☆43Updated 2 years ago
- Anonymous rewards on StarkNet☆35Updated 4 years ago
- Anonymous Proof of Ethereum Address Ownership☆43Updated last year
- AZTEC protocol trusted setup MPC☆33Updated last year
- A Cairo contract to play chess in Starknet.☆38Updated 2 years ago