razi-rais / blockchain
This repository contains various artifacts like learning resources, presentations, demos etc.
☆10Updated 6 years ago
Alternatives and similar repositories for blockchain:
Users that are interested in blockchain are comparing it to the libraries listed below
- A collection of templates to build out ethereum networks on Azure☆20Updated 6 years ago
- A repository that contains a collection of walkthroughs to get a user up and running ASAP☆15Updated 6 years ago
- ☆42Updated 6 years ago
- Standalone Ethereum Virtual Machine☆51Updated 3 years ago
- Samples of how to integrate, connect and use devops to interact with Azure blockchain☆152Updated last year
- Attestation API implementations for various languages and platforms.☆14Updated 7 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- ☆94Updated 6 years ago
- ☆119Updated 8 years ago
- RWOT2 for the ID2020 UN Summit (May 2016)☆91Updated 2 years ago
- EVM (Ethereum virtual machine) Assembly on Haskell DSL☆66Updated 6 years ago
- A marketplace for trustless off chain computation.☆55Updated 6 years ago
- ☆111Updated 2 years ago
- ZSL on Quorum☆73Updated 6 years ago
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆100Updated 7 years ago
- ☆50Updated 9 years ago
- Privacy-preserving auditing for distributed ledgers☆66Updated 5 years ago
- Reading list of research papers on blockchains, P2P networks, consensus etc☆79Updated 8 years ago
- Course information for 6.892 (Spring 2017)☆109Updated 7 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆33Updated 4 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Discussion of blockchains for the Blockchain Community Group and workshops☆96Updated 3 years ago
- Taking trustless interactions beyond the chain☆81Updated 8 years ago
- Language Design Community for the EVM: Intro and Resources☆137Updated 7 years ago
- Tools for running Quorum clusters and integration tests☆51Updated 3 years ago
- Dr. Y's Ethereum Contract Analyzer☆42Updated 2 years ago
- Workshop for building a Decentralised Market☆13Updated 8 years ago