직선 시뮬레이션

직선 시뮬레이션의 의미에 대한 좋은 참고 자료를 알고있는 사람이 있습니까? 현재 Canetti의 UC (Universal Composability) 프레임 워크에 대해 잘 알고 있지만 직선 시뮬레이션의 의미에 대한 좋은 참조를 찾을 수 없습니다. 도움을 주시면 감사하겠습니다.

cr.crypto-security

— 야세르 소 브델
소스

답변:

여기서 "직선"은 "되감기"와 대조됩니다. 시뮬레이터는 시뮬레이션을 수행하는 당사자를 "되감기"하지 않으면 "직선"입니다.

예를 들어, 무 지식 프로토콜에서 시뮬레이터는 일반적으로 "검증기"를 되감습니다. "직선"의미에서이 되감기는 발생하지 않습니다.

나는 라파엘 패스 (Rafael Pass)의 논문 ( 공통 참조 문자열과 랜덤 오라클 모델 (CRYPTO'03)의 Deniabililty )과 M.Sc 에서 "직선 시뮬레이터"라는 용어를 처음 보았다 . 논문 ( 제로 지식 증명의 대안 변형 ).

편집 : 이전 논문을 발견했습니다 : 동시 제로 지식 : 1998 년으로 거슬러 올라간 Cynthia Dwork와 Amit Sahai의 타이밍 제약 필요성 감소 . 자세한 내용은 아래 Alon Rosen의 의견을 참조하십시오.

— MS 두티
소스

나는 "직선 시뮬레이터"라는 용어를 모르지만, "직선"은 선형 시간 대 분기 시간 시간 논리 및 추적 등가 대 (분기)이 시뮬레이션 등과 유사한 "분기"와 대조된다. 이것에 대한 것이 있습니까?

— Dave Clarke

글쎄, 나는 그렇게 생각하지 않습니다. 내 정의에 맞는 다른 참조 를 찾았습니다 .

— MS Dousti

Sadeq의 설명은 내가 사용한 용어를 들어 본 어떤 맥락과 동일합니다. 다음은 주제를 논의하는 작년 Adv Crypto 강의의 NYU 강의 노트 입니다. 특히, 청구 8을 참조하십시오.

— Daniel Apon

결정론 은 가능한 동의어처럼 들립니다.

— Dave Clarke

(1) Ran Canetti, Oded Goldreich, Shafi Goldwasser, Silvio Micali : 재설정 가능한 영 지식 (확장 된 요약). STOC 2000 : 235-244 및 (2) Ran Canetti, Marc Fischlin : 보편적으로 작곡 가능한 약속. CRYPTO 2001 : 19-40. "환경"을 되감기 할 수 없기 때문에 UC의 정의에이 개념이 등장합니다. 그것은 되감기 시뮬레이터가 문제를 일으킬 수있는 동시 제로 지식의 다른 맥락에서 일찍 나왔습니다.

— Alon Rosen

직선 시뮬레이터의 의미에 대한 공식적인 정의 는 없습니다 . 비공식적 인 방식으로 사물을 설명하는 데 사용할 수 있는 직관적 인 아이디어 일뿐 입니다. 나는 기계를 되 감지 않는 것이 무엇을 의미하는지 정의 할 수 있는지에 대해 회의적 입니다. 실제로 기계를 되 감는 것은 비공식적 인 용어입니다! 우리가 기계를 다시 정의한다는 것이 실제로 의미하는 바는 주어진 상태에서 기계를 실행할 수있는 많은 경로를 탐색 할 수 있다는 것입니다. 그런 다음 공식적인 논증은 우리가 증거를 계속 유지하기 위해 필요한 트랩 도어 나 기타 정보를 얻기 전에 조사해야 할 그러한 실행의 수를 기반으로합니다.