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:
- Tezos TZIP-16/TZIP-12 metadata indexer☆17Updated last year
- ☆61Updated 2 years ago
- ☆29Updated 2 months ago
- A based rollup template of the Taiko Alethia stack.☆24Updated this week
- Create & verify zero-knowledge SNARK proofs in parallel, using noble cryptography☆52Updated 2 weeks ago
- ☆27Updated 5 months ago
- segmented-cfmm☆23Updated 3 years ago
- Bindings for o1js to lower layers of the proof system and the Mina transaction logic☆13Updated 5 months ago
- A development environment, testing framework, and origination pipeline focused solely on Tezos☆34Updated 2 years ago
- A modular zk-Rollup for zero knowledge smart contracts, zkApps, on the Mina blockchain.☆30Updated 2 years ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 3 years ago
- Anonymous rewards on StarkNet☆35Updated 4 years ago
- A zkApp based staking pool for MINA☆15Updated 2 years ago
- Starter kit for privacy enabled application chains☆43Updated 2 months ago
- A smart contract implementation of the Ethereum light client sync protocol☆63Updated this week
- Hardhat plugin to integrate Circom and SnarkJS into your build process.☆119Updated 2 years ago
- ☆26Updated 3 months ago
- A Cryptographic Library for Smooth Blockchain uses☆77Updated 9 months ago
- Cross-zk-rollup aggregation☆60Updated 2 years ago
- Audited & minimal JS implementation of Starknet cryptography.☆72Updated last month
- RISC-V prover system for ZKsync OS☆92Updated this week
- ☆72Updated last year
- ZK Email in Noir☆74Updated last week
- Anonymous Proof of Ethereum Address Ownership☆43Updated last year
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆46Updated last year
- Contracts, off-chain agents, and libraries for Nomad☆76Updated 3 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated 2 years ago
- Explore Ethereum-like blockchain privately with your RPC URL☆85Updated last month
- Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.☆20Updated 3 months ago
- ☆70Updated last year