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:
- 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
- A tool to work with zkSNARK circuits generated by Circom compiler☆103Updated 4 years ago
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆33Updated 3 years ago
- Hardhat plugin to integrate Circom and SnarkJS into your build process.☆119Updated 2 years ago
- A smart contract implementation of the Ethereum light client sync protocol☆66Updated this week
- Tendermint in Solidity☆61Updated 3 years ago
- ☆73Updated last year
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆46Updated 2 years ago
- A minimal KZG polynominal commitment library with a Solidity verifier☆72Updated 2 years ago
- ☆97Updated 2 years ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- Finite Field Library in Javascript☆55Updated 3 months ago
- rapidsnark is a fast zkSNARK prover written in C++, that generates proofs for circuits created with circom and snarkjs.☆85Updated this week
- ☆27Updated 8 months ago
- In-EVM Mina State Verification☆81Updated 2 years ago
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆58Updated last month
- Anonymous rewards on StarkNet☆35Updated 4 years ago
- keccak256 hash implementation in Circom☆83Updated 3 years ago
- ☆89Updated 3 years ago
- Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.☆20Updated 6 months ago
- ☆93Updated 4 years ago
- ☆62Updated 2 years ago
- a lisp built on top of vyper☆43Updated 3 months ago
- A based rollup template of the Taiko Alethia stack.☆25Updated this week
- A battleship game using ZKPs☆43Updated 2 years ago
- RISC-V interactive fault proof tech☆108Updated 3 weeks ago
- Solidity implementation of Nova proving system verifier☆66Updated last year
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆43Updated 2 months ago
- Tokens with private balances using zkSNARKs and Homomorphic Encryption☆26Updated 2 years ago