제가 언급한 프로젝트를 구축하기 위해 zk-SNARK에 대해 배우기 시작했습니다. 제가 이해한 바로는 ECDSA 서명 체계와 SHA-3 해시(이전에는 Keccak로 알려짐)가 zk-SNARK와 잘 작동하지 않는데, 이는 대규모 회로를 초래하기 때문입니다. 제 이해로는 특정 곡선을 가진 EdDSA와 포세이돈 해시가 이 점에서 훨씬 더 나은 성능을 보이며, 회로 크기가 수백 배 더 작을 수 있습니다.
해싱과 서명 검증은 솔리디티 스마트 컨트랙트에서 매우 일반적인 사용 사례이지만, 솔리디티는 해시에 SHA-3를 사용하고 zk-SNARK에서 증명하기 어려운 것으로 알려져 있습니다. 이는 모든 솔리디티 스마트 컨트랙트가 본질적으로 zk-SNARK에서 증명하기 어렵다는 의미일까요? 만약 그렇다면, 폴리곤 zkEVM은 어떻게 그 문제를 해결했을까요? 어떤 zk-SNARK 체계를 사용했나요(Groth16 / PLONK / PLONKish / Halo2 / 기타)?
