안녕하세요,
저는 완전히 새로운 블록체인을 구축하려고 하고 있으며(왜 그러는지 물어보셔도 좋습니다, 제 프로젝트에 대해 기꺼이 정보를 제공하겠습니다) 러스트로 첫 노드 구현을 시제품으로 만들고 있습니다.
이 블록체인은 웹어셈블리 모듈로 컴파일된 스마트 계약을 실행할 수 있으며, 해당 계약의 올바른 실행에 대한 zk-SNARK 증명을 생성할 것입니다. zk-SNARK에 대해 꽤 새로운 사용자이지만 충분한 탐색 후 신뢰할 수 있는 설정이 필요 없고 재귀적 증명도 지원하는 Halo2가 가장 좋은 방식이라고 믿습니다. 이를 통해 zk-롤업을 구현할 수 있습니다.
Halo2를 사용하면 다음과 같은 점을 이해합니다:
- EdDSA,
- 팔라스/베스타(파스타라고도 함) 타원 곡선,
- 파스타 곡선에 최적화된 포세이돈 해시 함수
다른 곡선과 해시 함수를 사용하면 모든 SNARK 회로의 크기가 급격히 커질 수 있기 때문에 실질적으로 필수적인 선택입니다.
이 모든 것이 맞다면, halo2_proofs, halo2_gadgets, ff, pasta_curves 크레이트를 사용할 것입니다. 제 첫 번째 질문은: EdDSA 키 쌍을 생성하는 러스트 예제는 어디서 찾을 수 있나요? ff와 pasta_curves 크레이트로 키 쌍을 생성할 수 있나요?
미리 감사드립니다!
