m-kus / tz-starks
πΊ Simple STARK verifier on Tezos blockchain
β12Updated last year
Related projects β
Alternatives and complementary repositories for tz-starks
- β9Updated last year
- Tezos TZIP-16/TZIP-12 metadata indexerβ17Updated 6 months ago
- segmented-cfmmβ23Updated 2 years ago
- ctez contract and frontendβ22Updated 3 months ago
- Jupyter kernel for the Michelson languageβ18Updated 3 years ago
- This repository contains reference implementations of the Harbinger Price Oracle and normalizer contracts on the Tezos network written inβ¦β9Updated 2 years ago
- Michelson VM and Tezos OS in Rustβ25Updated last year
- Tezos as a Service - GraphQL APIβ8Updated last year
- A development environment, testing framework, and origination pipeline focused solely on Tezosβ34Updated last year
- RISC-V ELF interpreter in cairoβ23Updated last month
- Harbinger is a decentralized price oracle solution for price feeds on the Tezos network. This repository contains top level documentationβ¦β44Updated 2 years ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memoryβ56Updated 2 years ago
- Formalization of Typhon protocolβ28Updated this week
- Various forms of distribution for the Starkware Stone prover and verifierβ16Updated 3 weeks ago
- A zkApp based staking pool for MINAβ15Updated last year
- Tezos Client/Wallet written in Rust.β14Updated 3 years ago
- TzKTAPI Module for Node.js using modulesβ10Updated 2 years ago
- β70Updated 5 months ago
- An implementation of a DKG protocol for front-running protection on Anoma.β78Updated last year
- β19Updated last year
- β59Updated last year
- An observatory fork of SP1 (contact: @huitseeker)β48Updated this week
- π§ββοΈ Repository containing QuipuSwap liquidity protocol smart-contracts written in Ligo languageβ48Updated 2 years ago
- Repository for research on Suave.β23Updated last year
- β28Updated this week
- β47Updated 2 years ago
- A Randomizer Oracleβ19Updated 2 years ago
- Blockchain data analytics toolβ32Updated last year
- A Symbolic Execution Tool for Cairoβ49Updated 2 years ago
- Generating Fractals on Starknetβ14Updated 2 years ago