To collect data on the performance and security characteristics of ZK circuits being verified on the Ethereum Blockchain and expose this data to users in a usable way.
☆59Mar 6, 2023Updated 3 years ago
Alternatives and similar repositories for ZK-Circuit-Performance-and-Security-Data
Users that are interested in ZK-Circuit-Performance-and-Security-Data are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆33Jan 4, 2024Updated 2 years ago
- Prove knowledge of smart contract bugs using zkEVM☆43Sep 20, 2024Updated last year
- https://geometryresearch.xyz/notebook/zkhack-groth-challenge☆50Aug 6, 2022Updated 3 years ago
- RLN circuits in Noir☆13Nov 18, 2023Updated 2 years ago
- ☆10Oct 24, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simple trait that enables using FPGA VariableBaseMsm developed by ingonyama☆10Nov 23, 2022Updated 3 years ago
- ☆25Apr 22, 2026Updated last month
- Noir support for Zed☆11Mar 23, 2026Updated 2 months ago
- Arkworks circuits for verifiable time-lock encryption☆92Oct 14, 2022Updated 3 years ago
- ECDSA gadgets for plonky2☆19Oct 20, 2023Updated 2 years ago
- Blog☆23Updated this week
- Ecne: An engine for verifying the soundness of R1CS constraints☆114Aug 2, 2022Updated 3 years ago
- comparing the performance of different zero-knowledge proof libraries☆135Oct 15, 2023Updated 2 years ago
- A curated list of repos related to Circom☆107Feb 4, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆64Feb 10, 2026Updated 3 months ago
- supplement material for BlackHat2020 talk: Multiple Bugs in Multi-Party Computation: Breaking Cryptocurrency's Strongest Wallets☆12Aug 13, 2020Updated 5 years ago
- ☆47Aug 31, 2023Updated 2 years ago
- ☆204Nov 25, 2023Updated 2 years ago
- STARK - SNARK recursive zero knowledge proofs, combinaison of the Winterfell library and the Circom language☆103Sep 12, 2023Updated 2 years ago
- ☆50Sep 11, 2023Updated 2 years ago
- ☆22Oct 11, 2022Updated 3 years ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆29Feb 2, 2023Updated 3 years ago
- DSL for Halo2 circuits☆189Nov 4, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Generate a zero-knowledge proof for a SHA1 pre-image.☆12Mar 29, 2024Updated 2 years ago
- A place to chase the holy grail of UI frameworks☆12Sep 10, 2022Updated 3 years ago
- CosmWasm + zkVM RISC-V EFI template☆23Oct 20, 2022Updated 3 years ago
- zkSudoku is a platform that allows users to play zk (zero knowledge) Sudoku games.☆16Apr 25, 2023Updated 3 years ago
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆721Dec 19, 2024Updated last year
- Export Circom verifier to Cairo☆49Apr 26, 2022Updated 4 years ago
- Evaluating & benchmarking ZKP compilation strategies.☆120Dec 19, 2023Updated 2 years ago
- repository for machine learning algorithms and systems on emergent runtimes☆21Jan 31, 2023Updated 3 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Zero Knowledge Proof for RSA☆55Jun 19, 2023Updated 2 years ago
- ☆17Mar 25, 2023Updated 3 years ago
- essentialist neural network transpiler for non-floating-point runtimes☆30Nov 7, 2022Updated 3 years ago
- EigenTrust - A distributed reputation system☆118Nov 23, 2023Updated 2 years ago
- ZPrize 2022 - All qualified entries☆55Sep 21, 2023Updated 2 years ago
- Proof of concept implementation of Sigmabus https://eprint.iacr.org/2023/1406☆10Dec 20, 2023Updated 2 years ago
- A Plonkish folding framework for Incrementally Verifiable Computation (IVC).☆178Mar 24, 2025Updated last year