• 제목/요약/키워드: Polynomial Commitment

검색결과 5건 처리시간 0.025초

다항식 상등성 영지식 증명의 일반화 (Generalization of Zero-Knowledge Proof of Polynomial Equality)

  • 김명선;강보람
    • 한국통신학회논문지
    • /
    • 제40권5호
    • /
    • pp.833-840
    • /
    • 2015
  • 본 논문에서는 미리 알려진 임의의 다항식과 암호화된 다항식의 곱셈을 수행한 후, 해당 곱셈이 정당하게 수행되었음을 보이기 위해 증명자 (Prover)와 검증자 (Verifier)간의 다항식 상등성 영지식증명 (Zero-knowledge Proof) 프로토콜을 일반화할 수 있는 방법을 다룬다. 이를 위하여 다항식의 상등성을 증명하는 일반화된 프로토콜을 제시하고 랜덤오라클 (Random Oracle) 모델에서 안전성을 증명한다. 이러한 기법은 안전한 집합연산 기법을 포함하여 다항식에 기반한 다자간 연산기법 (Secure Multi-party Computation)에 적용될 수 있다.

고차 발전 비용 함수를 고려한 새로운 경제급전 알고리즘 (A New Economic Dispatch Algorithm Considering Any Higher Order Generation Cost Functions)

  • 박정도;문영현
    • 대한전기학회논문지:전력기술부문A
    • /
    • 제51권12호
    • /
    • pp.603-610
    • /
    • 2002
  • In this paper, a new economic dispatch algorithm for unit commitment is proposed to improve both the accuracy of the final solution and the calculation speed of economic dispatch. By using the inverse incremental cost functions, economic dispatch can be transformed into a simple optimization problem associated with an n-th order polynomial equation. The proposed method remarkably reduces the computation time with adaptability to any higher order generation cost functions. The proposed method is tested with sample system, which shows that the proposed algorithm yields more accurate and economical generation scheduling results with high computation speed.

시간-온도 파라미터법과 최소구속법에 의한 크리프 수명예측과 오차 분석 (Creep-Life Prediction and Its Error Analysis by the Time Temperature Parameters and the Minimum Commitment Method)

  • 윤송남;류우석;이원;김우곤
    • 대한기계학회논문집A
    • /
    • 제31권2호
    • /
    • pp.160-165
    • /
    • 2007
  • To predict long-term creep life from short-term creep life data, various parametric methods such as Larson-Mille. (L-M), Orr-Sherby-Dorn (O-S-D), Manson-Haferd (M-H) parameters, and a Minimum Commitment Method (MCM) were suggested. A number of the creep data were collected through literature surveys and experimental data produced in KAERI. The polynomial equations for type 316LN SS were obtained by the time-temperature parameters (TTP) and the MCM. Standard error (SE) and standard error of mean (SEM) values were obtained and compared with the each method for various temperatures. The TTP methods showed good creep-life prediction, but the MCM was much superior to the TTP ones at $700^{\circ}C$ and $750^{\circ}C$. It was found that the MCM were lower in the SE values when compared to the TTP methods.

Type 316LN 스테인리스강의 크리프 수명예측과 오차분석 (Creep Life Prediction and Error Analysis for Type 316LN Stainless Steel)

  • 이원;윤송남;김우곤;류우석
    • 한국정밀공학회:학술대회논문집
    • /
    • 한국정밀공학회 2006년도 춘계학술대회 논문집
    • /
    • pp.109-110
    • /
    • 2006
  • Various parametric methods, Larson-Miller (L-M), Orr-Sherby-Dorn (O-S-D), Manson-Haferd (M-H) parameters, and minimum commitment method (MCM), were used to predict longer rupture time from short-term creep data. A number of the creep data were collected through literature surveys and experimental data produced in KAERI for predicting the creep type of type 316LN SS. Polynomial equations for predicting the creep life were obtained by the time-temperature parameters (TTP) and the MCM. standard error (SE) and standard error or mean (SEM) values were compared for the each method with temperatures. The TTP methods were good in the creep-life prediction, but the MCM was much superior to the TTP ones at $700^{\circ}C\;and\;750^{\circ}C$. The MCM was found to be lower in the SE values compared to the TTP methods

  • PDF

연산을 검증하기 위한 영지식 증명 프로토콜의 기법 및 응용 사례 분석 (Analysis of Zero-Knowledge Protocols for Verifiable Computation and Its Applications)

  • 주찬양;이현범;정희원;서재홍
    • 정보보호학회논문지
    • /
    • 제31권4호
    • /
    • pp.675-686
    • /
    • 2021
  • 최근 개인정보 보호법이 개정되고 개인정보에 대한 이목이 더해짐에 따라 각 기업들은 고객의 신원정보를 확인해야하는 의무(Know Your Costomer, 이하 KYC)와 동시에 이 정보를 개인정보보호법에 위반되지 않도록 처리 및 관리(개인정보보호법)를 해야 하는 의무를 가진다. 이러한 문제점을 해결할 수 있는 기술 중 하나는 영지식 증명(Zero-Knowledge Proof, 이하 ZKP)이다. ZKP를 사용하면 직접적으로 신원정보를 노출시키지 않으면서 해당 신원에 대한 검증이 가능하여 기업의 입장에서 신원정보 확인의 의무를 다함과 동시에 개인정보 관리에 대한 부담을 덜 수 있다. ZKP는 이 이외에도 많은 응용에 적용될 수 있는 기술로 본 논문에서는 현재 활발하게 연구되고 있는 ZKP기법 및 그 응용 사례를 분석하고 현실적인 모델에서의 ZKP의 적용을 위한 연구 방향을 제시한다.