Fantom-foundation / Tosca
☆14Updated 3 months ago
Alternatives and similar repositories for Tosca
Users that are interested in Tosca are comparing it to the libraries listed below
Sorting:
- ☆51Updated last week
- High performance EraVM for zkSync.☆24Updated 3 weeks ago
- Smart contracts that enable weETH to be bridged and minted cross chain via LayerZero☆17Updated 2 months ago
- ☆21Updated 9 months ago
- ☆22Updated 11 months ago
- Aggregator for the zkEVM network that uses a stateless prover.☆19Updated 7 months ago
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 2 months ago
- Definitions of zkEVM opcodes (primary dependency for all other repos)☆37Updated 9 months ago
- Carmen engine for fast world state storage.☆21Updated 3 months ago
- ☆60Updated 9 months ago
- Reference implementation of the node for the Miden blockchain☆63Updated this week
- A library for encoding blobs into a 2D square of evenly sized chunks designed for sampling and reconstruction☆17Updated last week
- Abstraction layer for cross-chain communication☆33Updated 2 weeks ago
- Symbiotic Collateral smart contracts☆39Updated 3 months ago
- ☆31Updated 3 months ago
- ☆21Updated last year
- An alternative implementation of the OP Stack's Cannon, a MIPS emulator for the EVM.☆63Updated 9 months ago
- The zkEVM assembly tools☆11Updated 9 months ago
- customizable halo2 circuits batcher☆30Updated this week
- Pessimistic proof for the AggLayer.☆26Updated 10 months ago
- Implementation of zero-knowledge proof circuits for Blobstream, Celestia's data availability solution for Ethereum.☆59Updated 9 months ago
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last week
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆22Updated last month
- Specification of P2P protocol for StarkNet nodes☆49Updated 2 months ago
- Integration testing framework for ZKsync compilers.☆21Updated this week
- Pint, the constraint-based programming language for declarative blockchains☆19Updated last week
- ZKsync fork of the LLVM framework.☆33Updated this week
- On-chain Ethereum light client built with SP1☆49Updated this week
- This repo generates the Protocol Guild documentation.☆41Updated 2 weeks ago
- Procedural macro for automatically implementing metrics description and initialization.☆22Updated last month