repos
74
ecosystems
29
languages
2
commits
6,963
─── top repos · by commits
─── repositories
74 totalFork of plonky2 to be used in zkVerify.
the Plonky2 proof system
Parser and test runner for testing compatible common Ethereum full node tests against Topos's zkEVM.
A Rust implementation of the Anemoi hash function by Bouvier et al.
A modular Rust implementation of the static version of the ICE-FROST signature scheme.
plonky2 proving over paladin
A toolkit for polynomial IOPs (PIOPs)
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
A STARK prover and verifier for arbitrary computations
zero-bin fork just to build and publish the docker images
A STARK prover and verifier for arbitrary computations
A collection of all the tests of the EVM official test suite, with Shanghai version, in serialized inputs to be fed to the plonky2 zkEVM.
Cryptographic primitives used in Polygon Miden rollup
Proving historical Ethereum transactions using the Plonky2 zkEVM
Generates block proofs from proof IR
Bringing divine order to remote task execution.
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
A performant, 100% open-source, contributor-friendly zkVM.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
The fastest, most feature-complete zkVM for developers.
Implementation of Poseidon2 precompile and SHA2 constraints optimizations
The fastest, most feature-complete zkVM for developers.
STARK-based virtual machine
Implementation of the Topos Protocol
Collection of mathematics routines and cryptography for the twenty-first century
Various debugging tools for working with tries for `eth_trie_utils`.
testeth via RPC. Test run, generation by t8ntool protocol
A collection of libraries related to polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
A SNARK protocol over towers of binary fields, implemented in Rust (mirror of https://gitlab.com/IrreducibleOSS/binius)
A toolkit for polynomial IOPs (PIOPs)
A toolkit for polynomial IOPs (PIOPs)
testeth via RPC. Test run, generation by t8ntool protocol
A toolkit for polynomial IOPs (PIOPs)
─── peer developers
─── ecosystems
─── languages
- Rust53
- C++1
─── subscriber view
Unlock the full view of Nashtare
- · 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.