therealyingtong / plonkathonView external linksLinks
☆11Jan 28, 2023Updated 3 years ago
Alternatives and similar repositories for plonkathon
Users that are interested in plonkathon are comparing it to the libraries listed below
Sorting:
- A decentralised bitcoin exchange☆15Oct 4, 2022Updated 3 years ago
- ☆18Mar 28, 2023Updated 2 years ago
- ☆41Aug 31, 2023Updated 2 years ago
- ☆94Aug 19, 2024Updated last year
- ☆80Feb 14, 2025Updated last year
- A collection of technical notes from the Geometry research team.☆47Apr 17, 2023Updated 2 years ago
- Shipyard Precourse Work Part 4☆10Mar 30, 2022Updated 3 years ago
- ☆14Feb 16, 2021Updated 4 years ago
- ☆12Sep 25, 2022Updated 3 years ago
- Simplifying FPGA management in Docker☆13Mar 20, 2024Updated last year
- Ethereum implementation on the efficiency frontier☆33May 2, 2023Updated 2 years ago
- Based on https://eprint.iacr.org/2022/1510☆26Oct 20, 2024Updated last year
- ☆33Sep 22, 2023Updated 2 years ago
- halo2 ecc circuit☆116Feb 17, 2023Updated 2 years ago
- A list of awesome Cairo and STARK-adjacent projects☆16May 15, 2022Updated 3 years ago
- Fuzzied - continuous fuzzing for smart contracts [ETHBerlin³ Submission]☆10Sep 27, 2022Updated 3 years ago
- Eddy255 elliptic curve parameters and implementation (embedding Ed25519)☆12Feb 18, 2023Updated 2 years ago
- This repo compiles .zkasm to a json ready for the zkExecutor☆31Oct 18, 2024Updated last year
- A tool for single Ethereum archival block state proofs.☆35Oct 19, 2023Updated 2 years ago
- Minimal EVM implementation in Rust☆29Mar 28, 2018Updated 7 years ago
- ☆160Feb 14, 2025Updated last year
- compiler tooling for Stark-based zkVMs☆16Feb 6, 2023Updated 3 years ago
- Definitions for standard Ethereum JSONRPC APIs☆13Nov 10, 2022Updated 3 years ago
- A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet☆19Jun 20, 2025Updated 7 months ago
- A salmonella token built with foundry☆20Apr 11, 2022Updated 3 years ago
- Infinitely Compressible Governance using Recursive SNARKs☆31Sep 23, 2022Updated 3 years ago
- educational python plonk implementation, based on vitalik's py_plonk☆222Jul 12, 2024Updated last year
- Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.☆15Jun 4, 2024Updated last year
- A zero-knowledge virtual machine with only one instruction☆13Mar 3, 2022Updated 3 years ago
- Scikit-learn compatible Python library for generating ZK proofs of execution☆19Feb 19, 2025Updated 11 months ago
- A cli version of the Nomad Sparse Merklee Tree Accumulator☆19May 19, 2022Updated 3 years ago
- Implementation of ERC 7524 - PLUME for ECDSA Nullifiers☆139Jun 6, 2025Updated 8 months ago
- Solidity implementation of Nova proving system verifier☆66Mar 17, 2024Updated last year
- RSA verification circuit using halo2 library.☆58Apr 26, 2023Updated 2 years ago
- 🦀 celestia-node REST client in Rust.☆18Jul 4, 2022Updated 3 years ago
- Highly experimental fault-proof program for Optimism Bedrock☆20Mar 27, 2023Updated 2 years ago
- Data dump of 15,451 Twitter accounts and their Ethereum Address☆17Nov 23, 2022Updated 3 years ago
- Poseidon hash circuit☆107Oct 30, 2024Updated last year
- ☆97Dec 4, 2023Updated 2 years ago