m-kus / tz-starksView external linksLinks
πΊ 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
- Technical Documentation for Kakarot zkEVMβ11Feb 21, 2025Updated 11 months 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
- This open collaboration project aims to explore and document the various technology stacks associated with Starknet.β10Feb 21, 2024Updated 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 2 months ago
- Some scripts that i use to generate my tezos tax reportsβ16Aug 19, 2025Updated 5 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 5, 2026Updated last week
- Various forms of distribution for the Starkware Stone prover and verifierβ16Jan 15, 2025Updated last year
- Create production-ready Tezos smart contracts with just one commandβ17Jan 24, 2023Updated 3 years ago
- A Randomizer Oracleβ19Jul 31, 2022Updated 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 8, 2021Updated 4 years ago
- Contract Metadata Viewer on Tezosβ25Sep 10, 2024Updated last year
- β27Dec 14, 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 3 weeks ago
- 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
- Sharpen your Katana, it's time to Jamβ17Updated this week
- For reporting bugs in Team Fortress 2 Classic.β11Jan 21, 2025Updated last year
- Community edition of Nightfall_4β15Feb 4, 2026Updated last week
- RaiBlocks RPC Library for Pythonβ12May 8, 2017Updated 8 years ago
- Mobile app that tracks your aave positions and notifies you of low health factorβ11Nov 28, 2024Updated last year
- Simple Nostr client running on the ICP. Using vetkeys for secure storing private keys on-chain.β10Jun 24, 2024Updated last year
- Create portable verified profiles on Tezos with public accounts.β45Aug 21, 2025Updated 5 months ago
- A zkML framework for ensuring the integrity of computational graphs using Circle STARK proofsβ53Sep 3, 2025Updated 5 months ago
- OKX multiwallet withdrawalβ12Apr 13, 2023Updated 2 years ago
- LotusJS is a framework for developing HTML5 applications using web components and TypeScript. It uses a functional style and leverages raβ¦β11Updated this week
- Demo multi-chain custodial Stablecoin system, operated by Silverbackβ13Apr 29, 2025Updated 9 months ago
- Cairo implementation of operations over the elliptic curve BLS12-381β14Feb 8, 2023Updated 3 years ago
- Smart contract orchestration patternβ11Sep 4, 2020Updated 5 years ago