Skip to content

Commit

Permalink
fix: update 10.protocol.md (#151)
Browse files Browse the repository at this point in the history
# Description

Fixed mispelling in protocol page.
  • Loading branch information
itsacoyote authored Jul 3, 2024
1 parent 1947388 commit 789c9ba
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions content/00.build/65.developer-reference/10.protocol.md
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ This link provides further details on the Data Availability problem: [Ethereum D
Zero-Knowledge Proofs (ZKPs) offer a method to execute verifiable programs, wherein it's cheap to verify a zk proof on-chain.
In the context of ZKsync, ZKPs allow for the confirmation of the correctness of transaction execution without re-executing them.

ZK circuits are out of the contest's scope.
ZK circuits are out of the content's scope.
However, there is an ongoing [live bug bounty program on Immunefi](https://immunefi.com/bounty/zksyncera/)
open to anyone interested in identifying vulnerabilities within this domain.

Expand All @@ -54,7 +54,7 @@ ZKsync Era protocol consists of the following critical components:
It maintains the off-chain state and handles the aggregation of transactions into batches as well as sends sealed batches onchain.
- **ZK Circuits**: These circuits are intricate mathematical constructs that represent verifiable computation logic.
They are responsible for determining what can be verified as a valid proof.
Specifically for ZKsync, these circuits define the computation rules for EraVM execution, thats also defines how transactions are executed.
Specifically for ZKsync, these circuits define the computation rules for EraVM execution, which also defines how transactions are executed.
- **Prover**: The prover constructs the cryptographic proofs that attest to the correctness of the transactions processed off-chain.
These proofs can be verified later on Ethereum, ensuring that only valid transactions are accepted.
- **Smart Contracts**: These contracts are the on-chain component of the zkRollup.
Expand Down

0 comments on commit 789c9ba

Please sign in to comment.