m-kus / tz-starks
πΊ Simple STARK verifier on Tezos blockchain
β12Updated last year
Alternatives and similar repositories for tz-starks:
Users that are interested in tz-starks are comparing it to the libraries listed below
- β9Updated 2 years ago
- A development environment, testing framework, and origination pipeline focused solely on Tezosβ34Updated last year
- Tezos TZIP-16/TZIP-12 metadata indexerβ17Updated 8 months ago
- ctez contract and frontendβ22Updated 5 months ago
- Jupyter kernel for the Michelson languageβ18Updated 3 years ago
- Anonymous rewards on StarkNetβ35Updated 3 years ago
- segmented-cfmmβ23Updated 2 years ago
- Michelson VM and Tezos OS rewritten in Rustβ25Updated last year
- β24Updated 2 years ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memoryβ56Updated 2 years ago
- attempting to be the cleanest & clearest implementation of Ethereum's execution layerβ20Updated 3 years ago
- Repository for research on Suave.β23Updated last year
- Check bcd insteadβ20Updated 3 years ago
- Blockchain data analytics toolβ32Updated 2 years ago
- π QuipuSwap SDK for JavaScript.β18Updated last year
- β3Updated last year
- A zkApp based staking pool for MINAβ15Updated last year
- Base64 encoding for Aztec's noir languageβ15Updated last year
- cairo-vm_in_C is a C implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writβ¦β20Updated last year
- Formalization of Typhon protocolβ30Updated last month
- β34Updated 3 months ago
- Simple module to control a Safe via crosschain calls with Hashiβ28Updated last month
- UPA is the proof aggregation engine built by NEBRA team.β29Updated 3 weeks ago
- β29Updated this week
- Like Safe... but secret π₯·π½β57Updated 3 weeks ago
- Harbinger is a decentralized price oracle solution for price feeds on the Tezos network. This repository contains top level documentationβ¦β44Updated 2 years ago
- A smart contract implementation of the Ethereum light client sync protocolβ57Updated this week
- β18Updated last year
- Know if a call is from an EOA no matter whatβ34Updated 3 years ago
- An efficient implementation of ECDSA on secp256r1 in Cairoβ23Updated last year