zapalabs / zapa
☆18Updated 2 years ago
Alternatives and similar repositories for zapa
Users that are interested in zapa are comparing it to the libraries listed below
Sorting:
- The Zcash Network Stability Framework☆18Updated 5 months ago
- ☆37Updated 3 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- A method to deploy a quarantined zcashd testnet with monitoring.☆16Updated 3 years ago
- Explore Filecoin's storage market and analyze the cost of storing your files.☆10Updated 4 years ago
- Everything you need to create your first account abstraction contract in one place☆30Updated 4 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Horizon - a trustless harmony to ethereum bridge☆36Updated 2 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆39Updated 5 years ago
- An interpretation of Ampleforth for Blockstack☆22Updated 4 years ago
- Ren gateway contracts written in Solidity☆16Updated 2 years ago
- ☆16Updated 4 years ago
- ☆20Updated 4 years ago
- Celo Light Client (IBC compatible)☆16Updated 3 years ago
- A portable list of mutuals for the decentralized web☆11Updated 3 years ago
- Implementation of the Funds Distribution Standard ERC-2222☆33Updated 2 years ago
- ☆14Updated 4 years ago
- A gas free offering of common Dai and Chai operations☆33Updated 2 years ago
- ☆21Updated 4 years ago
- Sonic implementation in Rust☆17Updated 5 years ago
- Bamboo: a morphing smart contract language☆38Updated 6 years ago
- Data aggregator for Cosmwasm☆18Updated 2 years ago
- Wordle Game Implemented with Optimint☆14Updated last year
- Atlantis is an un-opinionated modular DAO framework geared towards cascading sub-DAOs and cross-DAO composability.☆19Updated 3 years ago
- ☆27Updated 4 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆55Updated 5 years ago
- ☆23Updated 3 years ago
- Moved to https://github.com/RealityETH/monorepo/tree/main/packages/contracts☆15Updated 2 years ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆17Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago