repos
42
ecosystems
16
languages
8
commits
1,407
─── top repos · by commits
─── repositories
42 totalProver Manager
Used to house testvectors used to test zisk
My personal notebook for various zk-related topics
This repo contains the zkasm source code of the zkEVM
zkEVM proof generator reference written in Javascript
PIL2 Compiler
This repo compiles .zkasm to a json ready for the zkExecutor
CLA configuration repository
Agglayer Smart Contracts
Polygon zkEVM Smart Contracts
Polygon zkEVM Smart Contracts modified to work with AliceNet 2.0
The fork of Polygon zkEVM Smart Contracts with an NPM package
Polygon zkEVM Smart Contracts
Polygon zkEVM Smart Contracts
Provides tools for testing circom circuits.
Proof Generation Manager for PIL2
Generates a stark from a pil
A minimal implementation of ZKPs of Ethereum block execution using Reth. Supports both Ethereum and OP Stack.
zkSnark circuit compiler
zkEVM prover in C++
Technical documentation of the zkEVM
A toolkit for polynomial IOPs (PIOPs)
Transports, Middleware, and Networks for the Alloy project
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
Cryptography Educational Foundations
zkEVM prover in C++
zkEVM prover in C++
zkSnark circuit compiler
zkSnark circuit compiler
This is a mirror of circom(https://github.com/iden3/circom).
A toolkit for polynomial IOPs (PIOPs)
zkEVM prover in C++
A curated list of ZK/FHE resources and links. 👇 Click below for the website version.
Transports, Middleware, and Networks for the Alloy project
zkSnark circuit compiler
A toolkit for polynomial IOPs (PIOPs)
─── peer developers
─── ecosystems
─── languages
- Rust10
- C++5
- JavaScript5
- TypeScript4
- WebAssembly3
- Solidity2
- Circom2
- Yacc1
─── subscriber view
Unlock the full view of hecmas
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.