@thesequoia
ZK Rollup with full EVM compatibility
"zkSync Era"
*Use zkSTARKs and zkSNARKs proof systems rely on the proper implementation of the polynomial constraints used to check validity of the Execution Trace
*All the data that is used to construct the system state is published on chain in the form of cheap blobs or calldata