Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/patractlabs/megaclite
https://github.com/patractlabs/megaclite
Last synced: 3 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/patractlabs/megaclite
- Owner: patractlabs
- License: apache-2.0
- Archived: true
- Created: 2021-03-16T08:03:48.000Z (over 3 years ago)
- Default Branch: master
- Last Pushed: 2021-03-16T08:16:17.000Z (over 3 years ago)
- Last Synced: 2024-01-25T04:52:27.938Z (5 months ago)
- Language: Rust
- Size: 1.3 MB
- Stars: 1
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Lists
- awesome-substrate - Megaclite - Zero-knowledge tools for the Polkadot ecosystem. (Tools)
README
# Megaclite
## This repo is archived. Megaclite has been renamed to `zkMega` and moved to this new repo (https://github.com/patractlabs/zkmega)
[Megaclite][book] is a zero-knowledge proof tool set building for the Polkadot ecology.
+ [Pairing](https://patractlabs.github.io/megaclite/pairing)
+ [Pallet Contracts](https://patractlabs.github.io/megaclite/pallet-contracts)
+ [Metis](https://patractlabs.github.io/megaclite/metis)
* Polkadot Treasury report for v0.1: https://polkadot.polkassembly.io/post/221.
* Element group for discussion: https://app.element.io/#/room/#PatractLabsDev:matrix.org
## ZK Rollup Introduction
Compared with the privacy function, the performance improvement brought by Rollup is the
early application direction of zero-knowledge proof. At present, the Layer 2 expansion
plan of the blockchain is to transfer a considerable part of the on-chain workload to
off-chain to complete, and the most watched one is ZK Rollup. The essence of ZK Rollup
is to compress the application on-chain state and store it in a Merkle tree, and move
the state transition funtions to off-chain. At the same time, the correctness of the
off-chain state transition process is guaranteed through the proof of zkSNARK. Compared
with the high cost of directly processing state changes on the chain, the ZK Proof's
on-chain smart contract verification is extremely cost low. At the same time, the
compressed information will also be submitted to the chain together with the proof,
which ensures data availability and obtains the same level of security as Layer 1.
The Ethereum Layer 2 protocols related to ZK Rollup are: [zkSync][zkSync], [aztec][aztec],
etc. Their contract verification modules share a part of the elliptic curve's basic algorithms.
In 2017, Ethereum integrated three basic cryptographic calculation units of the alt
bn128 curve in the form of pre-compiled contracts, which are [EIP196][EIP196]’s ADD and Scalar_MUL
algorithms, and [EIP197][EIP197]’s Pairing algorithm. On top of this, due to the lack of rapid
upgrade capabilities of Ethereum, the community can only encapsulate some tool libraries
through costly Solidity contracts. On top of these basic contract libraries, many DApps can combine
ZK Rollup technology to achieve some innovations, such as [loopring][loopring], [gitcoin][gitcoin]
and [uniswap][uniswap] etc. However, in the past 3 years, ZK technology has further developed,
such as the more practical [BLS curve][BLS curve], and [PLONK algorithm][PLONK algorithm] etc.
Ethereum has not yet supported it.
## LICENSE
Apache-2.0
[book]: https://patractlabs.github.io/megaclite
[zkSync]: https://zksync.io/
[aztec]: https://aztec.network/
[EIP196]: https://github.com/ethereum/EIPs/blob/master/EIPS/eip-196.md
[EIP197]: https://github.com/ethereum/EIPs/blob/master/EIPS/eip-197.md
[gitcoin]: https://gitcoin.co/
[uniswap]: https://uniswap.org/
[loopring]: https://loopring.org/
[BLS curve]: https://electriccoin.co/blog/new-snark-curve/
[PLONK algorithm]: https://eprint.iacr.org/2019/953/20190827:165656