samlaf / starknet-btc-lightclient
☆18Updated 2 years ago
Alternatives and similar repositories for starknet-btc-lightclient:
Users that are interested in starknet-btc-lightclient are comparing it to the libraries listed below
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- ☆17Updated 2 years ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- A tool for single Ethereum archival block state proofs.☆35Updated last year
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- compiler tooling for Stark-based zkVMs☆16Updated 2 years ago
- A repository for the Leela VS the World project for On-Chain machine learning☆18Updated 6 months ago
- powdr application running Ethereum tests via revm☆18Updated 9 months ago
- ☆23Updated 2 years ago
- A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet☆19Updated last month
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- Delve into low-level RISC Zero machine☆27Updated last year
- celestia blobs, evm execution☆20Updated last month
- ☆10Updated 2 years ago
- ☆21Updated last year
- Write Zero Knowledge Circuits in Solidity☆13Updated last year
- ☆28Updated 3 years ago
- An instantiation of the Poseidon hash for use with decaf377☆29Updated 3 weeks ago
- ☆15Updated last year
- Moving to the new Arbiter framework to test Portfolio.☆10Updated last year
- Scikit-learn compatible Python library for generating ZK proofs of execution☆18Updated last month
- ☆19Updated 2 years ago
- Better assertion macros for pure Huff tests.☆19Updated last year
- ☆33Updated last year
- ☆19Updated last year
- Minimal Merkle Tree implementations☆28Updated 3 months ago
- ☆30Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Updated 2 years ago