기술 요약: 원격 탐사 및 사물인터넷을 통한 프라이버시 보호형 블록체인 기반 파라메트릭 보험

1. 문제 제기

전통적인 손해보험은 수작업으로 사례별로 평가하는 과정에서 높은 운영 비용, 불투명성, 비효율성, 그리고 신뢰 부족을 겪고 있습니다. 반면, 공개 데이터 (예: 사물인터넷, 원격 탐사) 에서 도출된 검증 가능한 지표를 기반으로 지급을 자동화하는 파라메트릭 보험은 해결책을 제시하지만, 이를 블록체인과 통합할 때 두 가지 중대한 과제가 발생합니다:

1. 프라이버시 유출: 블록체인의 투명성 원칙은 거래 기록과 처리 데이터를 공개적으로 노출해야 함을 요구합니다. 파라메트릭 보험의 경우, 이는 민감한 사용자 데이터 (예: 특정 보험 가입 위치나 청구 세부 사항) 를 공개 원장에 노출시켜 익명성 탈취를 가능하게 하고 사용자 프라이버시를 훼손할 수 있습니다.
2. 높은 처리 비용: 이더리움과 같은 플랫폼에서의 스마트 계약 실행은 '가스 비용'에 의해 측정되며, 이는 계산 복잡도와 메모리 사용량에 비례합니다. 산불 탐지를 위한 대규모 위성 이미지 처리와 같은 복잡한 작업은 온체인에서 직접 실행할 경우 과도하게 비용이 많이 듭니다.

가명성이나 허가형 블록체인과 같은 기존 솔루션들은 탈중앙화 보험에 필요한 투명성과 책임성을 유지하면서도 강력한 프라이버시 보장을 제공하지 못합니다.

2. 방법론

저자들은 프라이버시 보호형 파라메트릭 보험 프레임워크를 제안하며, 이는 **간결한 영지식 증명 (zk-SNARKs)**을 활용하여 개인 데이터를 공개하지 않고도 투명한 검증을 가능하게 합니다. 핵심 프로토콜은 보험 가입자가 블록체인 스마트 계약에 영지식 증명을 제출하여 청구의 유효성과 데이터 소스의 진정성을 입증하되, underlying 개인 입력값은 공개하지 않도록 합니다.

핵심 프로토콜: 확장된 Sonic zk-SNARK

이 프레임워크는 범용적이고 업데이트 가능한 구조화된 참조 문자열 (SRS) 을 지원하는 Sonic zk-SNARK 프로토콜을 기반으로 구축되었습니다. 저자들은 파라메트릭 보험의 특정 요구 사항을 해결하기 위해 Sonic 에 두 가지 중요한 확장을 도입했습니다:

• 이질적 데이터 소스의 인증:

  • 실제 시나리오에서 데이터는 특정 보험 애플리케이션과 무관한 여러 독립적 공급자 (예: 서로 다른 위성 이미지 공급자 또는 사물인터넷 센서) 로부터 제공됩니다.
  • 저자들은 Sonic 을 확장하여 증명자가 각기 다른 구조화된 참조 문자열 (SRS) 과 디지털 서명을 가진 $J$개의 독립적 소스로부터 데이터를 통합할 수 있도록 했습니다.
  • 이 프로토콜은 청구 계산에 사용된 데이터가 진정성 (공급자가 서명) 이 있으며 증명에 올바르게 통합되었음을 검증하되, 데이터 공급자가 회로 설계자 (보험사) 와 조정할 필요를 없애줍니다. 이는 담합을 방지하고 데이터의 중립성을 보장합니다.

• 배치 검증을 통한 효율적인 온체인 처리:

  • 표준 Sonic 프로토콜은 서로 다른 지점에서 여러 다항식 오프닝을 검증해야 하므로, 여러 페어링 확인으로 인해 높은 가스 비용이 발생합니다.
  • 저자들은 배치 검증을 가능하게 하는 고급 다항식 커밋먼트 방식을 제안합니다. 이를 통해 검증자는 단일 증명으로 여러 다항식 오프닝을 동시에 확인할 수 있으며, 온체인에서 필요한 페어링 방정식의 수를 크게 줄일 수 있습니다.

적용 사례: 산불 파라메트릭 보험

이 프레임워크는 위성 이미지에서 계산된 **델타 정규화 연소 비율 (dNBR)**에 따라 청구 유효성이 결정되는 산불 보험에 구체화되었습니다.

• 데이터 처리: 시스템은 Sentinel-2 와 같은 위성 이미지에서 근적외선 (NIR) 과 단파장 적외선 (SWIR) 대역을 사용하여 dNBR 을 계산합니다.
• 제약 시스템: '심각한 연소' (예: dNBR > 임계값인 픽셀) 를 결정하는 로직은 선형 및 승법 제약이 포함된 제약 시스템으로 인코딩됩니다.
• 위치 프라이버시: 보험 가입된 위치를 보호하기 위해 데이터 공급자는 위치 해시와 데이터 커밋먼트를 결합한 서명을 합니다. 스마트 계약은 해시에 대해 서명을 검증하여 위치 자체를 온체인에 공개하지 않으면서도 데이터가 올바른 위치에 해당함을 보장합니다.

3. 주요 기여

1. 확장된 zk-SNARK 프로토콜 (Sdat): 이질적이고 독립적인 소스의 데이터 검증을 지원하는 Sonic 프로토콜의 확장입니다. 이를 통해 데이터 공급자는 애플리케이션 로직과 독립적으로 데이터를 인증할 수 있으며, 데이터 소스와 보험사 간의 담합을 방지합니다.
2. 배치 검증 방식: Sonic 을 위해 설계된 새로운 다항식 커밋먼트 방식으로, 여러 다항식 오프닝의 배치 검증을 가능하게 합니다. 이는 표준 구현 대비 온체인 검증 가스 비용을 최대 **80%**까지 절감합니다.
3. 범용 프레임워크: 산불을 넘어 항공기 지연, 홍수 등 다양한 시나리오에 적용 가능한 프라이버시 보호형 파라메트릭 보험을 위한 범용 프레임워크를 제안했습니다.
4. 개념 증명 구현: 온체인 검증을 위해 Solidity 스마트 계약을 활용한 이더리움 블록체인 (Goerli 테스트넷) 에서 산불 보험을 위한 작동 프로토타입을 구현했습니다.

4. 실험 결과

저자들은 Digital Earth Australia (DEA) 저장소의 위성 이미지 데이터를 사용하여 이더리움 테스트넷에서 광범위한 실증 평가를 수행했습니다.

• 확장성: 증명 시간은 입력 크기 (픽셀 수) 에 따라 선형적으로 증가하는 반면, 증명 크기는 일정하게 유지됩니다 (약 1.22 KB). 온체인 검증 시간도 입력 크기와 무관하게 일정합니다.
• 가스 비용 절감:
  • **고급 검증자 (배치 검증 사용)**는 표준 Sonic 검증자 대비 검증 가스 비용을 약 78% 절감했습니다.
  • **Enhanced+ 검증자 (SRS 요소를 오프체인에 저장하고 오라클을 통해 검색)**는 가스 비용을 80% 절감했습니다.
  • 구체적으로, 청구당 검증 비용은 표준 Sonic 의 약 162 만 가스에서 고급 방식의 약 34 만 가스로 감소했으며, 이에 따라 2022 년 기준 USD 비용은 약 $38.91 에서 약$8.19 로 줄었습니다.
• 오버헤드: 구조화된 참조 문자열 (SRS) 크기는 상당합니다 (약 191 MB) 하지만, 이는 한 번 생성되어 공유됩니다. 온체인 검증을 위해서는 고정된 수의 SRS 요소만 필요합니다.

5. 의의 및 주장

본 논문은 블록체인 기반 보험에서 프라이버시와 투명성 간의 트레이드오프에 대한 실용적인 해결책을 제시한다고 주장합니다. zk-SNARKs 를 활용함으로써 이 프레임워크는 다음과 같은 이점을 제공합니다:

• 사용자 프라이버시 보호: 민감한 청구 데이터 (위치, 특정 센서 판독값) 를 공개 원장으로부터 숨기면서도 청구의 유효성에 대한 공개 검증을 가능하게 합니다.
• 데이터 무결성 보장: 여러 독립적 소스의 데이터 진정성을 검증하여 사기를 방지하고 지급에 사용된 데이터의 중립성을 확보합니다.
• 경제적 타당성 향상: 제안된 최적화 (배치 검증 및 오프체인 SRS 관리) 는 온체인 검증과 관련된 계산 비용 (가스 비용) 을 극적으로 줄여, 이더리움과 같은 공개 블록체인에서 복잡한 파라메트릭 보험 상품의 경제적 실현 가능성을 높입니다.

저자들은 이 프레임워크가 실제 블록체인 플랫폼에서 프라이버시 보호형 자동화 보험 시스템의 배포 가능성을 입증하며, 금융 리스크 관리 분야에서의 보다 광범위한 채택을 위한 길을 열었다고 결론지었습니다.