repos
28
ecosystems
5
languages
7
commits
295
─── top repos · by commits
─── repositories
28 totalIn-EVM Mina State Verification
Modern Cryptography Suite in C++17
This repository contains most C++ projects combined, flake files and CI scripts
Circuit definition library for crypto3
A toolchain for interaction with the Proof Market protocol.
Placeholder proof system verifier for EVM
Modern Cryptography Suite in C++17
zkApp to demo state variables in MINA
Template repository for zkLLVM-based projects
zkLLVM-based Merkel Patricia Tree storage proofs
Experimental repository for zkLLVM-based storage proofs
Get inspired to build on MinaProtocol.
Zero-Knowledge Proof Systems Circuit Compiler
Zero-Knowledge Proof Systems Circuit Compiler
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language.
The Cairo Programming Language Book, a comprehensive documentation of the Cairo 1 programming language. 本Repo为Astro负责的中文版翻译，定期与官方同步并更新中文翻译。
Threshold public-key cryptography for =nil; Crypto3 cryptography suite
Password hashing for =nil Crypto3 cryptography suite
Implementations for ENS core functionality: The registry, registrars, and public resolvers.
Verifiable delay functions for =nil; Crypto3 cryptography suite
Password-Based Key Derivation Functions for =nil; Crypto3 cryptography suite.
Common CMake modules for in-project target management
─── peer developers
─── ecosystems
─── languages
- C++13
- Solidity4
- JavaScript3
- Cairo2
- TypeScript1
- C1
- Python1
─── subscriber view
Unlock the full view of hgedia
- · 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.