MinistryFinancialServices / Virtual-Asset-Amendment-Consultation
A consultation for revisions to the Virtual Asset (Service Provider) Act
☆12Updated 10 months ago
Alternatives and similar repositories for Virtual-Asset-Amendment-Consultation:
Users that are interested in Virtual-Asset-Amendment-Consultation are comparing it to the libraries listed below
- Z4: multiplayer real-time decentralized game framework (zk powered)☆15Updated 2 months ago
- Decentralized Social Media on Mina☆20Updated 3 months ago
- Repository of papers released by Modulus Labs☆12Updated 11 months ago
- ☆16Updated 9 months ago
- MIP21 example☆14Updated 2 years ago
- ☆12Updated last month
- ☆37Updated last year
- Shared Lurk source code, including tests and library code.☆18Updated 11 months ago
- experimental solidity compiler☆22Updated this week
- IPC implementation atop CometBFT☆16Updated last year
- fhevm-go is an open-source library used to easily integrate the fhEVM into an EVM-compatible blockchain.☆23Updated 5 months ago
- Zero-knowledge gadget for Sparse Merkle Tree.☆20Updated 2 years ago
- Celo Light Client (IBC compatible)☆16Updated 3 years ago
- Randomness Based Games on Solana☆13Updated 3 years ago
- Charm implementation in JavaScript (TypeScript)☆14Updated last year
- ☆12Updated 3 years ago
- Interledger Settlement Engines written in Rust☆12Updated 4 years ago
- Unclog your changelog☆36Updated 3 months ago
- Actor-based Runtime Verification Tool☆15Updated last year
- Repository for development of the TLS 1.2 and TLS 1.3 stacks in Noir, to produce ZKPs that can be published to the blockchain☆13Updated last year
- Sell your MolochDAO-like voting power☆15Updated 2 years ago
- Verification-Driven Development☆21Updated 3 years ago
- ☆41Updated 2 years ago
- Abstract developer interfaces to the Dai Stablecoin System core contracts.☆33Updated last year
- Implements a prototype and interactive simulation for the sharded pos ethereum 2.0.☆12Updated 6 years ago
- Solidity API contract design information for utilizing RPC/RESTful Node Interaction and GraphQL☆23Updated 3 years ago
- DRAT proof processor☆13Updated last year
- Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common …☆67Updated this week
- circom runtime☆20Updated 4 months ago
- A testing tool that broadcasts batches of transactions and tests opcodes☆12Updated 2 years ago