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
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- A list of awesome Cairo and STARK-adjacent projects☆16Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated last year
- ☆17Updated last year
- ☆19Updated 2 years ago
- ☆21Updated last year
- etk-Foundry project template☆21Updated last year
- This repo hosts the code for an analysis on Ethereum gas limit.☆18Updated last year
- powdr application running Ethereum tests via revm☆17Updated 7 months ago
- Proof of concept trade simulation using state overrides☆22Updated 2 years ago
- Research prototypes of Data Availability Sampling for Ethereum (WIP)☆16Updated 2 years ago
- Benchmarking Polynomial Commitments☆47Updated last year
- https://eprint.iacr.org/2020/1516.pdf☆19Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Updated 2 years ago
- ☆23Updated last year
- ☆39Updated 2 years ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- ☆12Updated last year
- ☆21Updated last year
- A repository for the Leela VS the World project for On-Chain machine learning☆18Updated 4 months ago
- relays blocks from the shared sequencer to the DA layer☆27Updated last year
- A research-only integration of Sovereign with Celestia☆20Updated last year
- Prove multi-opens of EIP-4844 KZG blobs☆14Updated last year
- ☆21Updated 2 years ago
- ☆28Updated last year
- ECDSA gadgets for plonky2☆17Updated last year
- Implements ERC-5564 for multiple elliptic curves using arkworks-rs☆33Updated last week
- Experimental python optimistic rollup fraud-proof generation☆29Updated 2 years ago
- ☆10Updated 2 years ago
- Template using EIP-3074 - AUTH and AUTHCALL in Solidity☆29Updated last year