ZKsync Era: A ZK Rollup For Scaling Ethereum

ZKsync Era is a layer 2 rollup that uses zero-knowledge proofs to scale Ethereum without compromising on security or decentralization. Since it's EVM compatible (Solidity/Vyper), 99% of Ethereum projects can redeploy without refactoring or re-auditing a single line of code. ZKsync Era also uses an LLVM-based compiler that will eventually let developers write smart contracts in C++, Rust and other popular languages.

Documentation

The most recent documentation can be found here:

• Core documentation
• Prover documentation

Policies

• Security policy
• Contribution policy

License

ZKsync Era is distributed under the terms of either

• Apache License, Version 2.0, (LICENSE-APACHE or http://www.apache.org/licenses/LICENSE-2.0)
• MIT license (LICENSE-MIT or https://opensource.org/blog/license/mit/)

at your option.

Official Links

• Website
• GitHub
• ZK Credo
• Twitter
• Twitter for Developers
• Discord
• Mirror
• Youtube

Disclaimer

ZKsync Era has been through lots of testing and audits. Although it is live, it is still in alpha state and will go through more audits and bug bounty programs. We would love to hear our community's thoughts and suggestions about it! It is important to state that forking it now can potentially lead to missing important security updates, critical features, and performance improvements.

lib.rs:

Tee verifier

Verifies that a L1Batch has the expected root hash after executing the VM and verifying all the accessed memory slots by their merkle path.