#  SNARK – 验证 Layer 1

> 类型 1(完全等效于以太坊)ZK-EVM可用于验证 (Layer 1) 以太坊块的 EVM 执行。我们可以编写更多的 SNARK 代码来验证区块的共识侧。这将是一个具有挑战性的工程问题：今天，ZK-EVMs 需要几分钟到几个小时来验证以太坊区块，并且实时生成证明将需要一个或多个 

## Recent Posts

- [结论](https://paragraph.com/@snark-layer-1/p3DAQpTWmefIgIQFqAZZ)

## Blog Information

- [Homepage](https://paragraph.com/@snark-layer-1/): Main blog page
- [RSS Feed](https://api.paragraph.com/blogs/rss/@snark-layer-1): Subscribe to updates

## Optional

- [All Posts](https://paragraph.com/@snark-layer-1/): Complete post archive
- [Sitemap](https://paragraph.com/@snark-layer-1/sitemap-index.xml): XML sitemap for crawlers