#zk-sync #blockchain

zksync_prover_interface

Interfaces for interaction with ZKsync prover subsystem

26 releases (1 unstable)

new 29.6.0-non-semver-compat Nov 17, 2025
29.4.1-non-semver-compat Sep 29, 2025
29.0.0-non-semver-compat Jul 29, 2025
28.10.0-non-semver-compat Jul 25, 2025
0.1.0 Jul 12, 2024

#181 in Magic Beans

Download history 200/week @ 2025-07-27 44/week @ 2025-08-03 124/week @ 2025-08-10 75/week @ 2025-08-17 300/week @ 2025-08-24 375/week @ 2025-08-31 115/week @ 2025-09-07 223/week @ 2025-09-14 287/week @ 2025-09-21 331/week @ 2025-09-28 108/week @ 2025-10-05 237/week @ 2025-10-12 188/week @ 2025-10-19 97/week @ 2025-10-26 83/week @ 2025-11-02 87/week @ 2025-11-09

486 downloads per month
Used in 31 crates (11 directly)

MIT/Apache

790KB
17K SLoC

ZKsync Era: A ZK Rollup For Scaling Ethereum

Logo

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:

Policies

License

ZKsync Era is distributed under the terms of either

at your option.

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:

Point of interaction of the core subsystem with the prover subsystem. Defines the means of communication between the two subsystems without exposing the internal details of either.

Dependencies

~95MB
~1.5M SLoC