repos
29
ecosystems
9
languages
7
commits
350
─── top repos · by commits
─── repositories
29 totalzkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.
zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.
Ginger-lib is a general purpose zk-SNARK library that supports recursive proof composition
zkVerify is a highly performant, secure, and decentralized Substrate-based blockchain for zero-knowledge (ZK) proof verification, that substantially lowers the costs of verification and extends the range of possibilities within Web3 to use different cryptographic primitives and systems.
A Rust library for the Marlin preprocessing zkSNARK
VFlow is the first System Parachain of the zkVerify relay chain, enabling VFY to "flow" to the broader EVM world !
zkSync era
A Cairo VM prover implemented using Winterfell
A Cairo VM prover implemented using Winterfell
A Cairo VM prover implemented using Winterfell
Smart Contract Submodule For zkSync Era
sudoku game verify by zksnark.
Space and Time | Proof of SQL
Minimal library for Ethereum transactions, addresses and smart contracts.
pgp keys
Space and Time | Proof of SQL
─── peer developers
─── ecosystems
─── languages
- Rust16
- JavaScript3
- TypeScript2
- Solidity2
- Circom1
- HTML1
- Shell1
─── subscriber view
Unlock the full view of lgiussan
- · 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.