m-kus / tz-starksLinks
🐺 Simple STARK verifier in cameligo
☆12Updated 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:
- ☆9Updated 2 years ago
- Horizontally scalable blockchain using STARK's and partitioned transactional memory☆56Updated 2 years ago
- Anonymous rewards on StarkNet☆35Updated 3 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 last year
- Anonymous Proof of Ethereum Address Ownership☆43Updated 8 months ago
- Jupyter kernel for the Michelson language☆18Updated 4 years ago
- ☆47Updated 2 years ago
- ☆40Updated 2 years ago
- segmented-cfmm☆23Updated 3 years ago
- A template for creating a UniRep attester.☆23Updated last year
- Proving physical interactions with digital signatures☆32Updated 10 months ago
- Tokens with private balances using zkSNARKs and Homomorphic Encryption☆26Updated last year
- Like Safe... but secret 🥷🏽☆60Updated 4 months ago
- ☆29Updated this week
- ☆27Updated last month
- A circuit breaker for solidity defi protocols☆24Updated last year
- A zkApp based staking pool for MINA☆15Updated 2 years ago
- ☆19Updated this week
- Integration of IBC with Starknet☆19Updated last week
- Phase 2 of a multi-party trusted setup ceremony for the Semaphore zk-SNARK circuit☆17Updated 4 years ago
- ☆34Updated last year
- ColliderVM: Stateful Computation on Bitcoin without Fraud Proofs☆12Updated this week
- A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.☆34Updated 2 years ago
- A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite☆29Updated 3 years ago
- Blockchain data analytics tool☆32Updated 2 years ago
- ☆60Updated last year
- Computes SHA256 of arbitrary length inputs.☆15Updated 2 years ago
- ctez contract and frontend☆22Updated 9 months ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago