fluentlabs-xyz / rwasm
rWASM related crates including VM and AOT compilers
☆11Updated last week
Alternatives and similar repositories for rwasm
Users that are interested in rwasm are comparing it to the libraries listed below
Sorting:
- An example of a ZK Tendermint light client on Ethereum powered by SP1.☆28Updated 2 months ago
- Pessimistic proof for the AggLayer.☆26Updated 10 months ago
- ☆25Updated last week
- ☆20Updated 2 months ago
- High performance EraVM for zkSync.☆24Updated 3 weeks ago
- customizable halo2 circuits batcher☆30Updated this week
- Template for zkGraph.☆19Updated last year
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- ☆35Updated this week
- Delve into low-level RISC Zero machine☆27Updated last year
- AppliedZKP's zkEVM Documentation☆25Updated 10 months ago
- Solidity source debugger built around EthereumJS☆23Updated 2 weeks ago
- Implementation of an SP1 program to verify Blobstream, Celestia's data availability solution for Ethereum.☆22Updated last month
- Pure Move implementation of U256 numbers☆29Updated last year
- 🪩 verify plonky3 proofs in plonky2☆18Updated last year
- ☆31Updated last year
- A simple, IPFS-based multi-party trusted setup utility for snarkjs☆27Updated 2 years ago
- A Cairo VM prover implemented using Winterfell☆16Updated 2 years ago
- rust sdk for zkWasm☆11Updated last month
- On-chain Ethereum light client built with SP1☆49Updated this week
- Implementation of Vector, Avail's data attestation bridge, in SP1.☆16Updated last week
- ☆22Updated last year
- Spire Labs' litepaper (it's pretty based bro)☆16Updated 6 months ago
- ☆18Updated this week
- Adapt your STARK stone proofs for verifications on Ethereum☆17Updated 7 months ago
- powdr application running Ethereum tests via revm☆18Updated 10 months ago
- ☆18Updated this week
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Updated 2 years ago
- Solidity verifier for Plonk☆42Updated 9 months ago
- Polyhedra ZK knowledge base☆23Updated 6 months ago