🐺 Simple STARK verifier in cameligo
☆11Jun 5, 2023Updated 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:
- Michelson VM and Tezos OS rewritten in Rust☆26Sep 26, 2023Updated 2 years ago
- This open collaboration project aims to explore and document the various technology stacks associated with Starknet.☆10Feb 21, 2024Updated 2 years ago
- Harbinger is a decentralized price oracle solution for price feeds on the Tezos network. This repository contains top level documentation…☆45Jul 15, 2022Updated 3 years ago
- Technical Documentation for Kakarot zkEVM☆11Feb 21, 2025Updated last year
- A debugger for Michelson☆15Aug 7, 2023Updated 2 years ago
- An indexer that aggregates and normalizes NFT related data on the Tezos Blockchain and provides a GraphQL API for developers.☆33Nov 30, 2025Updated 3 months ago
- Some scripts that i use to generate my tezos tax reports☆16Aug 19, 2025Updated 6 months ago
- Sign In With Tezos: Access Control Management SDK☆16Aug 1, 2024Updated last year
- JavaScript runtime and compute platform build on Tezos Smart Rollups☆45Feb 27, 2026Updated last week
- Various forms of distribution for the Starkware Stone prover and verifier☆16Jan 15, 2025Updated last year
- A Randomizer Oracle☆19Jul 31, 2022Updated 3 years ago
- Create production-ready Tezos smart contracts with just one command☆17Jan 24, 2023Updated 3 years ago
- ctez contract and frontend☆23Aug 21, 2024Updated last year
- Radio player for audio tracks in a tezos wallet.☆22Jul 30, 2021Updated 4 years ago
- Sign In With Tezos: Access Control Management using Tezos NFTs☆32Oct 31, 2023Updated 2 years ago
- ☆27Dec 14, 2021Updated 4 years ago
- Contract Metadata Viewer on Tezos☆25Sep 10, 2024Updated last year
- ☆27Dec 8, 2021Updated 4 years ago
- Tezos remote signer with policies, Prometheus metrics, and HSM/KMS + TEE backends (YubiHSM, CloudHSM, Nitro Enclaves, Confidential Space)…☆75Updated this week
- A blazingly fast sdk for running proofs on the browser... and verifying them on-chain☆39Jul 27, 2023Updated 2 years ago
- *BETA* Taqueria provides a seamless development workflow to easily build, test and deploy your Tezos applications.☆63Jan 10, 2026Updated last month
- 🐍 Python SDK for Tezos | Michelson VM in Python☆114Jan 19, 2026Updated last month
- Iterated prisoner's dilemma tournaments implemented with Cairo☆25Jul 10, 2022Updated 3 years ago
- A development environment, testing framework, and origination pipeline focused solely on Tezos☆34Jul 16, 2023Updated 2 years ago
- ☆73Dec 17, 2024Updated last year
- Phore Synapse working repository☆14Mar 30, 2023Updated 2 years ago
- Mobile app that tracks your aave positions and notifies you of low health factor☆11Nov 28, 2024Updated last year
- Sharpen your Katana, it's time to Jam☆18Updated this week
- Simple Nostr client running on the ICP. Using vetkeys for secure storing private keys on-chain.☆10Jun 24, 2024Updated last year
- For reporting bugs in Team Fortress 2 Classic.☆11Jan 21, 2025Updated last year
- Community edition of Nightfall_4☆16Feb 27, 2026Updated last week
- RaiBlocks RPC Library for Python☆12May 8, 2017Updated 8 years ago
- Create portable verified profiles on Tezos with public accounts.☆45Aug 21, 2025Updated 6 months ago
- A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofs☆54Sep 3, 2025Updated 6 months ago
- Build and verify Bitcoin Merkle proofs☆12May 11, 2017Updated 8 years ago
- An ERC721 implementation in Cairo 1☆12Apr 25, 2023Updated 2 years ago
- Cairo bootloader port for the Rust Cairo VM.☆12Jul 3, 2024Updated last year
- A PBT framework☆10Jul 19, 2025Updated 7 months ago
- 🛠🐊🛠 An SDK for building applications on top of CrocSwap☆12Jun 10, 2025Updated 8 months ago