项目来源

韩（略）科（略）

项目主持人

이（略）

项目受资助机构

한（略）교

项目编号

1（略）1（略）6（略）

财政年度

2（略）,（略）1（略）2（略）

立项时间

未（略）

研究期限

未（略） （略）

项目级别

国（略）

受资助金额

3（略）0（略）0（略）韩（略）

学科

未（略）

学科代码

未（略）

基金类别

개（略）연（略）기（略）)（略）D（略）

关键词

未（略）

参与者

未（略）

参与机构

未（略）

项目标书摘要：연구（略）양한 프로그래밍 （略） 탄생하고 있다.（略）에서 작동하는 스（略） 위한 Solid（略）저에서 빠르게 실（略） 위해 개발된 W（略）동형암호 연산을 （略） 작성할 수 있게（略）gulata 등 （略）이 계속 개발되고（略）어들로 작성된 프（略）으로 실행될 수 （略）렇지 못한 실정이（略）는 여지들이 충분（略）때문이다.이는 대（略） 작성된 코드를 （略）는 형태로 바꿔주（略）역사가 짧아서 발（略）러는 다양한 최적（略）하는데 이러한 최（略） 개발자들 및 도（略）서 제안되고,최적（略）본 프로그램의 의（略）)을 확인하는 논（略）일러 버전에 반영（略）변환 규칙을 찾는（略）과 및 올바름을 （略）수작업으로 이루어（略）생 언어의 컴파일（略）이 걸린다.본 연（略）메인 전문가의 관（略）른 최적화 규칙을（略）컴파일러를 개발하（略）.목적이 달성되면（略）어들 뿐 아니라 （略）언어들로 작성될 （略）효율적으로 실행될（略）대된다.     （略）우선 두 언어:스（略） 위한 Solid（略）이용,데이터 보안（略） 제작을 위한 C（略）상 언어로 한정하（略）칙을 찾으며 진화（略）한다.두 언어로 （略） 같다:(1)동형（略）두 사회/경제적 （略）(2)특정 언어의（略）발 노하우를 향후（略）어들에도 사용될 （略） 학습을 위한 핵（略）간 급격한 발전을（略）성(program（略）혹은 프로그램 자（略） generati（略） 요구조건을 만족（略）동으로 찾아내는 （略）자의 요구조건은 （略） 없이도 읽히고 （略）따른다(예:원하는（略） 예제(input（略）mple),원하는（略）대해 엄밀히 확인（略）logical f（略）그램 합성 기술은（略）할만한 발전을 이（略）어 공학,바이오 （略）육(compute（略）cation),손（略）d-user pr（略）자동 데이터 정리（略）ling)등 다양（略）되고 있다.본 연（略）운 최적화 규칙 （略）.발견된 최적화 （略） 프로그램에 유연（略）4가지 요소 기술（略）라인 최적화 규칙（略）램들에 프로그램 （略） 최적화.프로그램（略）각하기 어려운 복（略）스스로 발견하여 （略）.이 과정에서 발（略）각각은 의 형태를（略）최적화 규칙 적용（略）을 주어진 대상 （略）적용한다.이 때 （略）의 원래 의미를 （略）,즉 최적화가 올（略）으로 엄밀히 증명（略）하는 컴파일러 개（略）을 적용하여 스마（略）Solidity （略）언어인 Cingu（略）스스로 진화하는 （略）● 일반화된 이론（略） 언어로부터의 구（略）일반화하여 다른 （略）있는,스스로 진화（略） 위한 이론적 틀（略）    (1)동형（略）동형암호 언어 컴（略）를 개선할 경우 （略）성을 대폭 개선할（略） 민감한 데이터 （略） 문제를 해소해 （略）평가의 개인정보 （略）증의 생체정보 처（略）를 그대로 연산하（略）연산한 것과 같은（略） 때문에 클라우드（略）에 접목시 활용도（略）며 산업계도 응용（略）.글로벌 동형암호（略）27년까지 2억 （略）것으로 추산된다.（略）경우 아직 매우 （略）반되어 실용화에 （略）는 실정인데,본 （略）르게 할 수 있다（略）용성 향상:스마트（略）고 그 실행에 필（略）속적으로 증가해왔（略）것이라 예측할 수（略） 개발자들이 스마（略）망설이게 하므로 （略）떨어뜨린다.또한 （略） 실제 계산 작업（略）문에,계산 자원이（略）을 알 수 있다.（略）인 블록체인 운영（略）트랙트 최적화가 （略）준다.본 연구는 （略）향상시킬 수 있다（略） 기법 제시:새로（略） 지속적으로 등장（略）들 언어들의 최적（略）된 최적화 규칙을（略）존의 오래된 틀을（略）있다.본 연구는 （略） 기술의 한계들(（略） 개발 비용 및 （略） 모두 해결할 수（略）