Zilliqa 2.0 code base
☆20Oct 27, 2026Updated this week
Alternatives and similar repositories for zq2
Users that are interested in zq2 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A fast, modular, optimized ZKEVM core written in C++☆15Updated this week
- Documentation for Scilla☆17Jan 30, 2023Updated 3 years ago
- This is the source code for https://ethereumdashboards.com, a collection of useful dashboards for the Ethereum ecosystem.☆10Jun 3, 2026Updated 4 months ago
- Command Line Interface for Zilliqa Network blockchain☆13Oct 10, 2023Updated 3 years ago
- Documentation for Zilliqa developer☆16May 18, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- UI for the GoodProtocol smart contracts☆11Oct 20, 2026Updated last week
- Formal Verification of the Zcash Protocol and Documentation for the Ironwood Pool☆22Oct 22, 2026Updated last week
- SDK for Karma Grantee Accountability Protocol (GAP)☆11Aug 17, 2026Updated 2 months ago
- CKPool with RSK Merged Mining Capabilities☆13Dec 29, 2022Updated 3 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 9 years ago
- Prototype Rust implementation of hash-based signatures. See https://eprint.iacr.org/2025/055.pdf☆56Dec 18, 2025Updated 10 months ago
- Fast Access Blockchain☆30Apr 18, 2024Updated 2 years ago
- Refinement types encoded with private types in OCaml.☆11Oct 18, 2020Updated 6 years ago
- Nucleus Wallet is a free, open-source, Zilliqa Testnet Wallet.☆14Dec 14, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Small and simple actor model implementation.☆10Mar 7, 2026Updated 7 months ago
- Elixir wrapper for interacting with hyperliquid api☆15Sep 13, 2026Updated last month
- Make your zero-knowledge circuits safe with formal verification. 🍀☆34Aug 24, 2026Updated 2 months ago
- Headless, type-safe & powerful utilities to build apps with ODD SDK and Passkeys.☆13Jul 5, 2023Updated 3 years ago
- ☆28Apr 7, 2026Updated 6 months ago
- ☆19Nov 1, 2025Updated 11 months ago
- ☆17Sep 4, 2025Updated last year
- Verge (XVG) Cryptocurrency Blockchain Explorer https://vergeexplorer.com/☆17Apr 26, 2020Updated 6 years ago
- SDK UI to build a Decentralized Exchange on TomoX protocol☆27Jan 22, 2022Updated 4 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A pool of workers operating on a single set of mio connections☆11Dec 4, 2018Updated 7 years ago
- An MCP server that detects potential risks in Solana meme tokens.☆21May 6, 2025Updated last year
- Typed pure FP where data is syntax sugar for functions☆11Nov 6, 2025Updated 11 months ago
- Vel: A language for verified low-level software☆15Jan 22, 2023Updated 3 years ago
- JavaScript SDK for Zilliqa blockchain☆131May 26, 2023Updated 3 years ago
- The entry point for Rust projects to be run on Valida☆10Mar 14, 2025Updated last year
- The Valida execution engine, prover, and verifier☆32Oct 6, 2025Updated last year
- Zilliqa golang sdk☆33Oct 23, 2024Updated 2 years ago
- Site for Ethereum Identity Kit☆22Jun 1, 2026Updated 5 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A cutting-edge zkWASM implementation leveraging Nova-NIVC-based folding techniques.☆41Oct 28, 2025Updated last year
- ☆17Mar 17, 2023Updated 3 years ago
- Topological sort algorithm☆15Jul 10, 2026Updated 3 months ago
- Formalizing Polynomial Commitment Schemes in the Interactive Theorem Prover Isabelle.☆10Jul 30, 2026Updated 3 months ago
- Formal verification tool for Noir programs using the Rocq system☆12May 28, 2025Updated last year
- Smart contracts for onchain verification of SP1.☆147Aug 4, 2026Updated 2 months ago
- ot-coq☆17Sep 5, 2023Updated 3 years ago