repos
156
ecosystems
41
languages
13
commits
11,136
─── top repos · by commits
─── repositories
156 totalThe proof systems used by Mina
The proof systems used by Mina
Project Untitled POC test on lambda
Kimchi Fuzzer
The proof systems used by Mina
The proof systems used by Mina
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Zeko: zk-Rollup for Mina, a succinct blockchain
Not the official repo. See https://github.com/MinaProtocol/mina
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
Noname: a programming language to write zkapps
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
zkBitcoin: zero-knowledge proofs on Bitcoin!
zkBitcoin: zero-knowledge proofs on Bitcoin!
Mina is a new cryptocurrency with a constant size blockchain, improving scaling while maintaining decentralization and security.
attacking RSA via lattice reductions (LLL)
OCaml DSL for verifiable computation
OCaml DSL for verifiable computation
Learn Ocaml by reading code examples
Cryptography RFCs related to Zero-Knowledge Proofs
This crate provides automatic generation of OCaml bindings. Refer to the rustdoc for more information.
STARK book
Adapt your STARK stone proofs for verifications on Ethereum
CLI to create a zkApp (zero-knowledge app) for Mina Protocol
CLI to create a zkApp ("zero-knowledge app") for Mina Protocol
CLI to create a zkApp ("zero-knowledge app") for Mina Protocol
TypeScript framework for zk-SNARKs and zkApps
TypeScript framework for zk-SNARKs and zkApps
TypeScript framework for zk-SNARKs and zkApps
TypeScript framework for zk-SNARKs and zkApps
How to backdoor Diffie-Hellman
Typescript/Javascript framework for zk-SNARKs and zkApps
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Move compiler targeting llvm supported backends
The Decentralized Application Security Project
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
specs & benchmarks for the ZPrize 3 - High Throughput Signature Verification
A layer 1 for everyone!
This is a modified MoveVM fork for the use of MoveVM in the pallet-move Substrate repo. Please check the pallet-move repository to learn more about this project.
Move compiler targeting PolkaVM
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
A layer 1 for everyone!
Movement's fork of the Move language.
Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.
Indexer for ferum events
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
all your base are belong to us
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
Home of the Move programming language
TypeScript interface generator for Move modules
A layer 1 for everyone!
The ultimate layer 1 solution!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
A layer 1 for everyone!
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
A layer 1 for everyone!
A layer 1 for everyone!
Symbolic executor for the Move programming language.
Typescript/Javascript framework for zk-SNARKs and zkApps
Solutions to the Mina Protocol's SnarkyJS workshop exercises.
Move to EVM compiler - Inlined Reference Monitor
Movement is building the ecosystem that empowers talented builders to create the future of finance through the Move language - the safest, most expressive language for building the next generation of apps
Libra’s mission is to enable a simple global currency and financial infrastructure that empowers billions of people.
Libra’s mission is to enable a simple global payment system and financial infrastructure that empowers billions of people.
We made some changes to the move cli to support witness generation for move code.
Versioning of types with bin_prot serialization
This fork contains "jellyfish-merkle" isolated from the rest of the Libra project repository
A very simple Ethereum multi-signature wallet compatible with all ERC-20 tokens
Go implementation of the Noise Protocol Framework
Implementation of KELP in Cairo
Libraries for finite field, elliptic curve, and polynomial arithmetic
Tutorials for building modules for the Cosmos SDK
Managing Rust dependencies via a dashboard
zkBank is the most secure banking system in the world, powered by ZK, gnark, and GKR!
A course on Halo2 in collaboration with Zircuit
Rust library for decentralized private computation
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
OCaml extensions in Rust
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
The "Yellow Paper": Ethereum's formal specification
Block's Bitcoin Cold Storage solution.
Tutorial for writing constraints in the `arkworks` framework
rust wrapper for rocksdb
Fork of https://github.com/ZcashFoundation/frost to implement nested FROST signing for Spark
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
Rust implementation of FROST (Flexible Round-Optimised Schnorr Threshold signatures) by the Zcash Foundation
AWS SDK for Rust
Libraries for finite field, elliptic curve, and polynomial arithmetic
Libraries for finite field, elliptic curve, and polynomial arithmetic
the Ethereum contracts for Starknet
Libraries for finite field, elliptic curve, and polynomial arithmetic
Tutorial for writing constraints in the `arkworks` framework
Provides tools for testing circom circuits.
─── peer developers
─── ecosystems
─── languages
- Rust71
- OCaml13
- TypeScript9
- JavaScript4
- Go4
- TeX2
- Python2
- CSS1
- HTML1
- Cairo1
─── subscriber view
Unlock the full view of mimoo
- · 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.