동형암호에 대한 리서치 (1) - 시작

더블체인 특허

https://scienceon.kisti.re.kr/srch/PORSrchPatentList.do

https://scienceon.kisti.re.kr/com/redirectMove.do;jsessionid=BC7ACD6F15FCFE5BDA31894069090B2A.scienceon_left

https://scienceon.kisti.re.kr/srch/selectPORSrchPatent.do?cn=KOR1020200141565 

[특허]동형 암호에 기초한 산술 연산 시스템 및 이를 이용한 동형 암호 산술 연산 방법

https://doublechain.co.kr/

DoubleChain

 

동형암호는 블록체인의 ZK 개념과 양자컴퓨팅의 암호체계와 관련이 있다.

우선 이 부분과 관련해서 어떤 C 연산을 할지 구경해보면 될듯하다.

 

HEAAN은 꽤 좋은 오픈소스 라이브러리다.

https://ghqls0210.tistory.com/57

동형암호

 

회사 크립토랩의 천정희 교수님의 알고리즘

https://www.cryptolab.co.kr/product/heaan.php

CRYPTOLAB

https://github.com/snucrypto/HEAAN

GitHub - snucrypto/HEAAN

https://www.youtube.com/watch?v=nM41YaXRDOw 

https://youtu.be/nM41YaXRDOw?t=2129 

 

여기서 AXI4-lite 를 AXI4 로 update하는 과정만 적용하면 될듯.

 

 

간단하게 1234 같은 비밀번호를 SHA 같은 암호화한후에 

그 암호에 대해 확인하지 않고 알아낼 수 있게끔 처리하는 것을 exe로 구현하고 

그것을 FPGA로 하면 될것같고 

굳이 이걸 도어락 같은 하드웨어로 하지 않고

소프트웨어로 만들어도 충분하지 않을까 싶기는 하다.

 

https://eprint.iacr.org/2016/421.pdf

 

부테린은 “2010년대 추세가 타원곡선(elliptic curves), 페어링, 범용 ZKPs/SNARKs였다면, 2020년대에는 (2010년대 트렌드의 도입 가속화 및) 래티스(lattices), LWE, 다중선형 맵(multilinear maps), 동형암호(homomorphic encryption), MPC, 난독화(obfuscation)가 메가트렌드가 될 것”이라고 예측했다.

 

https://www.coinpress.co.kr/2020/04/14/22539/

비탈릭이 예측하는 2020년대 암호학 메가트렌드 - 코인프레스 CoinPress

 

zk롤업

 

이더리움 레이어2 기술인 롤업은 크게 옵티미스틱 롤업과 zk롤업 계열로 나눠진다.옵티미스틱 롤업은 번들로 묶인 거래를 기본적으로 합법적인 것으로 다루는 대신 네트워크 참가자들이 증명할 때까지 인출을 하지 못하도록 하는 구조로 운영된다.  반면 zk롤업은 영지식증명(zero-knowledge  proofs) 기술을 기반으로 복잡한 수학적 증명을 통해 거래를 처리한다.

우선 zk롤업은 빠르지만 디앱들을 위한 메인 프로세싱 유닛인 이더리움 버추얼 머신(EVM)이 빠져 있다. 이것은 탈중앙화 금융(디파이) 같은 애플리케이션을 돌리는 것을 어렵게 한다는 지적이다.

하지만 이같은 상황은 조만간 바뀔 수 있다. 스크롤(Scroll), zk싱크(zkSync), 폴리곤 같은 레이어2 프로젝트들은 zk롤업이 독립적으로 모든 유형 스마트 컨트랙트를 돌릴 수 있도록 지원하는 'zk-EVM' 컴퓨팅 환경을 선보일 계획이다. 비탈릭 부테린은 "이더리움 거래를 확장할 준비가 거의 돼 있는 zk-EVM을 실제로 보기 시작하고 있다. 이것은 놀라운 일이다"고 말했다.

출처 : 디지털투데이 (DigitalToday)(http://www.digitaltoday.co.kr)

 

 

영지식증명

https://j-k4keye.tistory.com/26

영지식 증명 (Zero-Knowledge Proof) 가 무엇일까

 

엔지니어들을 위한 영지식 증명 소개 - (Dark Forest팀 글 번역)

https://velog.io/@jdhyun09/%EC%97%94%EC%A7%80%EB%8B%88%EC%96%B4%EB%93%A4%EC%9D%84-%EC%9C%84%ED%95%9C-%EC%98%81%EC%A7%80%EC%8B%9D-%EC%A6%9D%EB%AA%85-%EC%86%8C%EA%B0%9C-Dark-Forest%ED%8C%80-%EA%B8%80-%EB%B2%88%EC%97%AD

엔지니어들을 위한 영지식 증명 소개 - (Dark Forest팀 글 번역)

 

https://hyun-jeong.medium.com/%EC%B6%94%EA%B0%80-%EB%B9%84%EB%8C%80%ED%99%94%ED%98%95-%EC%98%81%EC%A7%80%EC%8B%9D-%EC%A6%9D%EB%AA%85-%EC%9D%B4%ED%95%B4%ED%95%98%EA%B8%B0-6452fa5db079

비대화형 영지식 증명 이해하기

 

정현님

https://hyun-jeong.medium.com/

Hyun Jeong – Medium

https://www.youtube.com/channel/UCsbq3HHlpEOaFxQzyrovACg/featured

ZK-SEL

 

내 관심분야도 

이걸 응용해서 적을 수 있을듯. 

하나당 하나의 퍼포먼스를 아카이빙 하면 될듯

Tech Education 포함

FPGA / ZKP / OM

 

 

https://www.youtube.com/watch?v=usSZKfm39CE 

 

ZKP라는 기술은 악용될 수 있는 여지가 존재한다. 

 

graph with three colors

https://ko.wikipedia.org/wiki/%EC%98%81%EC%A7%80%EC%8B%9D_%EC%A6%9D%EB%AA%85

영지식 증명 - 위키백과, 우리 모두의 백과사전

https://brunch.co.kr/@curg/17#:~:text=%EC%96%B4%EB%A6%B0%EC%9D%B4%EB%A5%BC%20%EC%9C%84%ED%95%9C%20%EC%98%81%EC%A7%80%EC%8B%9D%20%EC%A6%9D%EB%AA%85&text=%EC%A6%9D%EB%AA%85%EC%9E%90%20%ED%8E%98%EA%B8%B0(Peggy)%EB%8A%94,%ED%95%98%EB%82%98%EB%A1%9C%20%EC%A0%91%EA%B7%BC%ED%95%A0%20%EC%88%98%20%EC%9E%88%EB%8B%A4. 

영지식 증명이란 무엇인가?

 

 

영지식증명과 동형암호 사이의 관계성은?

영지식증명을 위해 여러가지 방법을 사용할 수 있는데 그 중 동형암호가 있는 것.

 

동형암호 연산을 C로 구현한다.

구현할때 HEEAN 알고리즘의 아이디어를 도입한다.

컴퓨터로 30분쯤 연산이 걸리게 한다.

그것을 하드웨어로 10분쯤으로 걸리도록 줄여낸다.

 

http://www.comworld.co.kr/news/articleView.html?idxno=50372 

[시장동향] 현실화되는 동형암호, 관건은 ‘성능’ - 컴퓨터월드

 

그리고 여기표 구조를 활용할 수 있어야 좋겠다싶다.

 

 

RSA 구현

https://hwan001.tistory.com/75

[알고리즘] RSA 암복호화 알고리즘 C로 구현하기?