HyperService-Consortium / HyperService-Language
This is the repository to host the code for hslang parsing and code generation.
☆21Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for HyperService-Language
- Confidentiality-Preserving Smart Contract Platform☆21Updated 4 years ago
- BlockMaze: An Efficient Privacy-Preserving Account-Model Blockchain Based on zk-SNARKs☆38Updated 4 years ago
- Source code for the VLDB21 paper "SlimChain: Scaling Blockchain Transactions through Off-Chain Storage and Parallel Processing"☆44Updated 2 years ago
- ☆62Updated 3 years ago
- Source code for the ICDCS 2022 paper "Dissecting the Performance of Chained-BFT"☆50Updated last year
- Example to create merkle path proof using libsnark☆45Updated 4 years ago
- Python-based system for zk-SNARK based verifiable computations and smart contracts☆80Updated 5 years ago
- Teechain: A Secure Payment Network with Asynchronous Blockchain Access☆51Updated 5 years ago
- ☆63Updated 6 years ago
- Omniledger implementation☆35Updated 6 years ago
- This is a Sharding Simulator to study blockchain scalability.☆37Updated 2 years ago
- ☆24Updated 6 years ago
- The Honey Badger of BFT Protocols☆137Updated 2 years ago
- Implementation of anonymous atomic locks described in https://eprint.iacr.org/2019/589☆23Updated 2 years ago
- Cryptographic accumulator based on the strong RSA assumption, Python & Solidity☆74Updated 5 years ago
- OHIE - Blockchain scaling☆34Updated 3 years ago
- Minimal examples to use libsnark.☆21Updated 4 years ago
- Hyperledger Avalon enables privacy in blockchain transactions, moving intensive processing from a main blockchain to improve scalability …☆136Updated 2 years ago
- A libsnark's tutorial on sudoku☆17Updated 6 years ago
- (Towards) Scalable Threshold Crypto: BLS threshold signatures with millions of signers and a scalable Distributed Key Generation (and VSS…☆31Updated 9 months ago
- Fast Blockchain Simulations for Large-scale Peer-to-Peer Networks☆78Updated last year
- A programming language and compiler which enable automatic compilation of intuitive data privacy specifications to NIZK-enabled private s…☆81Updated 10 months ago
- Go version of the Pedersen commitment scheme☆13Updated 4 years ago
- ☆28Updated 2 years ago
- FPC enables Confidential Chaincode Execution for Hyperledger Fabric using Intel SGX.☆161Updated 3 weeks ago
- CrossChain in fabric☆21Updated 3 years ago
- A curated list of academic blockchain-related papers☆122Updated 11 months ago
- Simulation of several BFT consensus algorithms for benchmarking☆24Updated 5 years ago
- Personal Data Management business logic written in Smart Contracts☆19Updated 2 years ago
- Town Crier: an Authenticated Data Feeds for Smart Contracts☆134Updated 3 years ago