Proving historical Ethereum transactions using the Plonky2 zkEVM
☆14Jul 26, 2024Updated last year
Alternatives and similar repositories for eth-tx-proof
Users that are interested in eth-tx-proof are comparing it to the libraries listed below
Sorting:
- Bringing divine order to remote task execution.☆30Nov 25, 2024Updated last year
- ☆24Dec 21, 2024Updated last year
- Delve into low-level RISC Zero machine☆30Dec 25, 2023Updated 2 years ago
- plonky2 proving over paladin☆22Jun 19, 2024Updated last year
- Plonky2 gadgets for EcGFp5 curve and base field arithmetic☆20Feb 19, 2023Updated 3 years ago
- ☆100May 2, 2025Updated 10 months ago
- Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions☆14Jul 9, 2023Updated 2 years ago
- ECFFT in Rust☆58Oct 3, 2023Updated 2 years ago
- ☆108Aug 6, 2024Updated last year
- A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.☆40Dec 5, 2023Updated 2 years ago
- Fawkes-Crypto - zkSNARKs framework☆21Feb 6, 2024Updated 2 years ago
- 🪩 verify plonky3 proofs in plonky2☆19Mar 28, 2024Updated last year
- Draft documents for standardization of Plonkish arithmetization☆23Mar 15, 2024Updated 2 years ago
- Poseidon hash function☆79May 11, 2023Updated 2 years ago
- ☆25Jan 10, 2024Updated 2 years ago
- Benchmarks for Pedersen hash implementations☆12Nov 22, 2022Updated 3 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Early prototype.☆23Mar 30, 2023Updated 2 years ago
- Rust FFI bindings for StarkWare's crypto-cpp library☆15Apr 27, 2022Updated 3 years ago
- ☆16Jan 5, 2024Updated 2 years ago
- ☆31May 20, 2025Updated 10 months ago
- Implementation of https://eprint.iacr.org/2022/1565.pdf on top of arkworks☆16Jan 1, 2023Updated 3 years ago
- A prototype implementation of the zksaas protocol for distributed zkSNARK generation☆28Nov 7, 2023Updated 2 years ago
- Common protocol for generating ZK proofs for blocks on different blockchains.☆10Feb 9, 2024Updated 2 years ago
- dRPC docs☆30Updated this week
- zkSNARKs as a service using secure multi-party computation.☆30Jan 19, 2024Updated 2 years ago
- Privacy-preserving transaction model by Dusk☆25Feb 13, 2026Updated last month
- An efficient circuit implementation of SHA256.☆12Jan 14, 2018Updated 8 years ago
- Infinite procedurally generated terrain, rendered with WebGL☆13Jul 25, 2018Updated 7 years ago
- Polynomials Identity Language☆68Feb 29, 2024Updated 2 years ago
- Danksharding Builder with GPU acceleration☆52Sep 10, 2023Updated 2 years ago
- Implementation of the Fish and Begol signature schemes☆14Jul 3, 2017Updated 8 years ago
- ☆18Updated this week
- Monorepo for Summa Proof of Solvency Protocol☆99Aug 26, 2024Updated last year
- A pure Rust PLONK implementation using arkworks as a backend.☆315Sep 18, 2023Updated 2 years ago
- A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…☆39Nov 18, 2022Updated 3 years ago
- ☆14Feb 7, 2023Updated 3 years ago
- Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo☆20Oct 25, 2022Updated 3 years ago
- In this repo we will construct a POC implementation of the MLE sumcheck end-end in a GPU☆41Feb 17, 2025Updated last year