Earticle

초록

한국어

이더리움은 모든 사용자가 블록체인에 저장된 데이터를 확인할 수 있는 공개형 블록체인이기 때문에 이더리움 상에 서 개인 정보 등의 민감한 데이터를 활용하는 것은 근본적으로 어렵다. 이를 해결하기 위해서 데이터의 기밀성을 보 장하는 프로토콜을 이더리움의 스마트 컨트랙트로 구현하는 것을 고려할 수 있고, 대표적인 기밀성 보장 프로토콜로 zkSNARKs와 함수암호가 있다. 대부분의 기밀성 보장 프로토콜들은 페어링을 주요한 암호 연산으로 사용하기 때 문에 이더리움 상에서 기밀성 보장 프로토콜을 구현하기 위해서는 반드시 페어링이 먼저 구현되어야 한다. 본 논문 에서는 페어링 기반의 기밀성 보장 프로토콜들을 스마트 컨트랙트로 구현하기 위해 페어링 함수를 Solidity 언어로 구현하였고, 페어링 함수의 구현 적합성을 평가함으로써 페어링 함수가 정상적으로 동작함을 확인하였으며, 기존의 이더리움 상에서 페어링을 수행하는 방법과 본 논문의 페어링 함수를 비교하였다. 또한, 페어링 함수를 이용해 페어 링 기반의 암호 프로토콜인 BLS 서명을 스마트 컨트랙트로 구현하고 이더리움 상에서 실행함으로써 본 논문에서 구현한 페어링 함수가 실제 응용에 적용될 수 있음을 확인하였다.

영어

Ethereum is a public blockchain that allows all users to verify data stored in the blockchain, so it is essentially difficult to utilize sensitive data on Ethereum. To resolve this issue, we can consider implementing protocols that ensure confidentiality of data on Ethereum smart contracts. The representative protocols that achieve this goal include zkSNARKs and functional encryption. Since most of these protocols use pairing as a major cryptographic operation, pairing must be implemented to provide Ethereum with confidentiality. In this paper, we implemented pairing functions in the Solidity language to provide pairing-based confidentiality protocols as smart contracts, verified whether the pairing functions work correctly and compared the proposed pairing functions with the existing method for pairing computation on Ethereum. In addition, using the pairing functions, we implemented the BLS signature scheme as smart contracts and executed them on Ethereum, confirming that the implemented pairing functions can be effectively applied to practical applications.

목차

요약
Abstract
1. 서론
2. 사전지식
2.1. 페어링(pairing)[11]
2.2. 최적 Ate 페어링
2.3. 이더리움에서의 페어링 구현 [1]
3. Solidity 언어로 작성한 페어링 함수
3.1. Fp 상의 산술연산
3.2. Fp 상의 곱셈에 대한 역원
3.3. 스마트 컨트랙트의 함수 내 변수 개수 제한
4. 이더리움 상에서 구현한 페어링 함수 평가
4.1. 구현 적합성 평가
4.2. 기존의 이더리움 상에서의 페어링 수행 방식과 비교
5. 이더리움 스마트 컨트랙트 상에서 BLS서명 구현
5.1. BLS 서명[9]
5.2. BLS 서명 스마트 컨트랙트 구현
5.3 BLS 서명 스마트 컨트랙트 수행 결과
6. 결론
Acknowledgements
참고문헌

저자

• 박윤수 [ Yun-Soo Park | 인하대학교 전기컴퓨터공학과, 컴퓨터공학과 ]
• 전성윤 [ Seong-Yun Jeon | 인하대학교 전기컴퓨터공학과, 컴퓨터공학과 ]
• 이문규 [ Mun-Kyu Lee | 인하대학교 전기컴퓨터공학과, 컴퓨터공학과 ] 교신저자

참고문헌