2 releases
| 0.1.10 | Jan 17, 2023 |
|---|---|
| 0.1.0 | Nov 29, 2021 |
#2996 in Magic Beans
1.5MB
628 lines
Zero Network
The Zero Network is a public blockchain capable of confidential transfers and confidential smart contracts. These functionalities rely on only the cryptographic hardness assumption instead L2 technologies, TEE and centralized security assumption.
Abstract
All public blockchains information as in users balances are literally public and can be seen by someone whoever want, so the privacy is a missing piece of blockchain. Zero Network hides all transactions information by cryptographic scheme mainly ElGamal Encryption and Plonk. The cryptographic schemes are following.
| Lib | Description | |
|---|---|---|
| zero-crypto | Abstract algebra and zk-Snarks primitive implementation as in field, curve and extension field, pairing. | $F_r,F_q,F_{q^2},F_{q^6},F_{q^{12}},E(F_p),E'(F_{q^2}),poly(F_r)$ |
| zero-jubjub | Jubjub curve implementation for circuit domain. | $ax^2 + y^2 = 1 + dx^2y^2,\ where\ a = -1,\ d=-\frac{10240}{10241}$ |
| zero-bls12-381 | Bls12 381 implementation for Kate polynomial commitment domain. | $G_1:y^2 =x^3 + 4,\ G_2:y^2 = x^3+4(u+1)$ |
| zero-elgamal | ElGamal encryption for encrypted number over Jubjub curve. | $(g^{r + r'}, g^{a + c} * b^{r + r'})$ |
| zero-pairing | Tate pairing implementation for zk-Snarks over Bls12 381 curve. | $e(aG, bH) = e(G, H)^{ab}\ where\ a,b \in F_r,~G \in G_1,~H \in G_2$ |
| pallet-plonk | Plonk implementation for confidential transfer. | $gen(d) \rightarrow srs,\ com(f, srs) \rightarrow commitment,\ V_{PC} \rightarrow acc\ or\ rej$ |
| pallet-encrypted-balance | Additive homomorphic encrypted balance implementation by ElGamal. | $get(address) \rightarrow (g^{r + r'}, g^{a + c} * b^{r + r'})$ |
| confidential_transfer | Confidential transfer pallet implementation coupling plonk and ElGamal. | $C = g^{b^\star}y^r \land \hat C = g^{b^\star} \hat y^r \land D = g^r \land C_L/C = g^{b'}(C_R/D)^{sk} \land y = g^{sk} \land b^\star \in [0, MAX] \land b' \in [0,MAX] $ |
All users balances are encrypted by the homomorphic encryption by default and all transactions executions are proved by the non-interactive zero knowledge proof. The blockchain runtime is optimized its structure and execution environment for improving encryption scheme. This blockchain supports the privacy and simplicity of use at the same time. Users balances are encrypted as default and transactions are verified by zero knowledge proof on chain. The following functionalities will be available.
- Confidential Transfers
- Confidential Smart Contracts
- Anonymous Transfers
- Anonymous Smart Contract
- Rollup Transactions
Documentation
We describe technical stuff and how to use libraries in here. You can also check with markdown document.
Test
$ git submodule update --init --recursive
$ cargo test --release --all --all-features
or
$ docker-compose up
Progress
We are in research and development phase and this is alpha quality software. Please use at your own risk.
We are supporting the confidential transactions for transfers and contracts executions. We are focusing on ensuring the security assumption and privacy system so after the research amd development phase, we are going to improve the performance by optimization of bytecode and libraries. We are also planning to support the anonymous and rollup transactions. Every cryptographic libraries are totally compatible with Substrate runtime.
Reference
License
Copyright 2023-2024 The Invers INC.
This software is under the Apache License.
You can check more detail here.
Dependencies
~7MB
~142K SLoC