ZKP(무지식 증명)를 사용하여 개인정보를 보호하면서 DeFi 프로토콜(및 그 외 다양한 기능)을 개발하는 것은 충분히 가능하며, Miden은 바로 이러한 목적으로 설계되었습니다. 핵심은 상태 관리 방식을 재고하고, 단일 상태 시스템 대신 액터 모델(분산 시스템에서 수십 년간 사용되어 온 개념)을 적용하는 것입니다. 이렇게 하면 공유 상태를 관리하는 공개 액터와 상호 작용하는 비공개 액터를 만들 수 있습니다. 또는 일부 사용자에게만 상태를 알리고 전체 네트워크에는 공개하지 않는 준공개 액터를 만들어 완전히 비공개인 액터나 공개 액터 모두와 상호 작용하게 할 수도 있습니다. 이 모델은 익명 AMM(자동화된 시장 조성자)과 CLBO(클라우드 기반 매수)부터 개인정보 보호 규정을 준수하는 스테이블코인에 이르기까지 다양한 DeFi 사용 사례를 포괄하는 매우 강력한 모델입니다. 또 한 가지 장점은 이러한 DeFi 프로토콜을 개발하는 데 ZKP를 이해하는 엔지니어가 필요하지 않다는 것입니다. Rust 언어로 모든 것을 작성할 수 있습니다. 저는 FHE를 좋아합니다. 정말 멋진 기술이고 ZKP로는 해결할 수 없는 몇 가지 사용 사례(예: 진정한 비공개 공유 상태)를 가능하게 해줍니다. 하지만 FHE는 네트워크에 엄청난 성능 오버헤드를 발생시킵니다. ZKP의 장점은 실제로 네트워크 부하를 줄여준다는 것입니다. 로컬에서 검증된 트랜잭션은 네트워크에서 실행될 필요가 없습니다(ZK 증명 검증은 매우 저렴합니다). 이러한 개념을 엣지 블록체인이라고 합니다. 반면 FHE에서는 모든 트랜잭션이 네트워크에서 100배(또는 1000배) 더 많은 비용을 발생시킵니다. ASIC이 이 문제를 해결하는 데 확실히 도움이 되겠지만, 이는 모든 검증 노드가 이러한 ASIC을 실행해야 한다는 것을 의미하며, 그렇지 않으면 네트워크를 따라갈 수 없게 됩니다. 모든 노드에 ASIC을 요구하는 것은 모든 비트코인 노드가 채굴자여야 한다는 것과 마찬가지입니다.