stanford-oval/wikipedia huggingface dataset:
다자간 보안 컴퓨팅
역사

특정 작업을 위한 특수 목적 프로토콜은 1970년대 후반에 시작되었다. 나중에 보안 계산은 1982년(부울 술어(Boolean predicate) 문제인 소위 백만장자 문제 에 대해) 보안 쌍방 계산 (Secure two-party computation, 2PC)으로 공식적으로 도입되었으며 일반적인 수준으로는 1986년에 앤드류 야오에 의해 다음과 같이 실행 가능한 모든 계산에 대해 도입되었다. 이 영역은 보안 기능 평가(Secure Function Evaluation, SFE)라고도 한다.2자(Two-party)는 Oded Goldreich, Silvio Micali 및 Avi Wigderson에 의해 다자간(multi-party)으로 일반화되었다. 계산은 잠재적으로 악의적인 경우에 대한 모든 입력 및 영지식 증명의 비밀 공유를 기반으로 한다. 여기서 악의적인 상대의 경우 나쁜 행동이 감지되고 부정직한 참여자가 제거되거나 입력이 공개된 상태로 계산이 계속된다. 이 연구는 보안 컴퓨팅을 위한 미래의 모든 다자간 프로토콜이 따라야 할 매우 기본적인 일반 체계를 제안했다. 이 연구에서는 반 정직한 공격자(semi-honest adversary)로부터 안전한 다자간 계산 프로토콜을 악의적인 공격자로부터 안전한 프로토콜로 컴파일하기 위한 GMW 패러다임이라는 접근 방식을 도입했다. 이 연구는 자주 사용되는 '주식 공유 아이디어'와 당사자 중 한 명이 입력을 숨길 수 있는 프로토콜을 발명한 작업을 통해 누구의 출력도 공개하지 않고 잘못된 동작을 허용하는 최초의 강력한 보안 프로토콜이 뒤따랐다. 무조건 입력한다. GMW 패러다임은 기본 프로토콜에 가져오는 막대한 오버헤드 때문에 수년 동안 비효율적인 것으로 간주되었다. 그러나 효율적인 프로토콜을 달성하는 것이 가능하다는 것이 입증되었으며 이는 실용적인 관점에서 이러한 연구 계열을 더욱 흥미롭게 만든다. 위의 결과는 공격자가 다항 시간 계산으로 제한하고 모든 통신을 관찰하는 모델에 있으므로 이 모델을 '계산 모델'이라고 한다. 또한, 망각 전송 프로토콜은 이러한 작업에 대해 완전한 것으로 나타났다. 위의 결과는 대다수의 사용자가 정직할 때 위의 변형에서 안전한 계산을 달성하는 것이 가능하다는 것을 입증했다.
해결해야 할 다음 문제는 공격자들이 사용할 수 없는 단말간 보안 통신 채널이다. 이 경우에는 참여자 중 최대 1/3이 잘못된 행동을 하고 악의적인 경우에도 암호화 도구를 적용하지 않고서(보안 통신이 가능하므로) 통신채널을 운영할 수 있어야 한다. 브로드캐스트 채널을 추가하면 시스템이 잘못된 행동을 하는 소수의 1/2까지 허용할 수 는다. 통신 그래프의 연결 제약은 Perfectly Secure Message Transmission이라는 책에서 조사되었다.
수년에 걸쳐 범용 다자간 프로토콜이라는 개념은 사전 예방적 비밀 공유 와 같은 보편적인 구성 가능성 이나 모바일 공격자와 같은 기본적이면서 일반적인 프로토콜 문제를 조사할 수 있는 비옥한 영역이 되었다.
2000년대 후반부터, 그리고 확실히 2010년 이후부터 범용 프로토콜의 영역은 실제 적용을 염두에 두고 프로토콜의 효율성 향상을 다루는 방향으로 이동했다. MPC에 대해 점점 더 효율적인 프로토콜이 제안되었으며 이제 MPC는 다양한 실제 문제(특히 비밀의 선형 공유만 필요하고 주로 당사자 간의 상호 작용이 많지 않은 공유에 대한 로컬 작업만 필요한 문제)에 대한 실용적인 솔루션으로 간주될 수 있다. ) 분산 투표, 비공개 입찰 및 경매, 서명 공유 또는 복호화 기능, 개인 정보 검색 등이 있다. 다자간 계산을 대규모로 실제로 적용한 최초의 사례는 2008년 1월에 열린 덴마크 사탕무 경매 에서 전자 이중 경매를 실행한 것이다. 분명히 이론적 개념과 조사, 적용 구성이 모두 필요하다(예: MPC를 일상 업무의 일부로 이동하기 위한 조건이 에서 옹호되고 제시되었다).
2020년에는 보안 다자간 컴퓨팅을 담당하는 여러 회사가 "MPC 기술의 인식, 수용 및 채택 가속화"를 목표로 MPC 협회를 설립했다.
정의 및 개요

MPC에서는 주어진 참가자 수 p 1, p 2, ... , p N 은 각각 개인 데이터를 가지고 있으며 각각 d 1, d 2, ... , d N . 참가자는 자신의 입력을 비밀로 유지하면서 해당 개인 데이터인 F(d 1, d 2, ..., d N )에 대한 공개 함수의 값을 계산하기를 원한다.
예를 들어, 세 당사자인 Alice, Bob, Charlie가 있고 각각의 입력 x, y 및 z가 급여를 나타낸다고 가정한다. 그들은 각자의 연봉이 얼마인지 서로에게 밝히지 않고 세 사람의 급여 중 가장 높은 금액을 알고 싶어한다. 수학적으로 이는 다음을 계산하는 것으로 해석된다.
신뢰할 수 있는 외부 당사자가 있는 경우(예를 들어 비밀을 지킬 수 있는 공통 친구 Tony가 있는 경우) 그들은 각각 Tony에게 급여를 말할 수 있고 Tony는 최대 금액을 계산하여 그 숫자를 그들 모두에게 알릴 수 있다. MPC의 목표는 서로 메시지를 교환함으로써 Alice, Bob, Charlie가 누가 무엇을 만드는지 밝히지 않고 Tony에 의존하지 않고도 F(x, y, z) 학습할 수 있는 프로토콜을 설계하는 것이다. 그들은 부패하지 않고 완벽하게 신뢰할 수 있는 Tony와 상호 작용하여 배우는 것보다 더 많은 것을 프로토콜에 참여함으로써 배워서는 안 된다.
특히 당사자가 배울 수 있는 것은 출력과 자신의 입력에서 배울 수 있는 것뿐이다. 따라서 위의 예에서 출력이 z 이면 Charlie는 자신의 z 최대값이라는 것을 알게 되는 반면, Alice와 Bob은 ( x, y 및 z 서로 다른 경우) 입력이 최대값과 같지 않다는 것을 알게 된다. 보유된 최대값은 z 와 같다. 기본 시나리오는 당사자가 여러 입력 및 출력을 갖고 함수가 당사자마다 다른 값을 출력하는 경우로 쉽게 일반화될 수 있다.
비공식적으로 말하면, 다자간 계산 프로토콜이 보장하려는 가장 기본적인 속성은 다음과 같다.
입력 개인 정보 보호: 당사자가 보유한 개인 데이터에 대한 정보는 프로토콜 실행 중에 전송된 메시지에서 추론할 수 없다. 개인 데이터에 대해 추론할 수 있는 유일한 정보는 함수의 출력만 보고 추론할 수 있는 정보이다.
정확성: 프로토콜 실행 중에 정보를 공유하거나 지침에서 벗어나려는 적대적인 공모 당사자의 적절한 하위 집합은 정직한 당사자가 잘못된 결과를 출력하도록 강요할 수 있어서는 안 된다. 이 정확성 목표는 두 가지 형태로 제공된다. 즉, 정직한 당사자가 올바른 출력을 계산하도록 보장하거나("강력한" 프로토콜) 오류를 발견하면 중단한다("중단 포함" MPC 프로토콜).
동전 던지기 같은 간단한 작업부터 전자 경매(예: 시장 정산 가격 계산), 전자 투표 또는 개인 정보 보호 데이터 마이닝과 같은 보다 복잡한 작업에 이르기까지 다양한 실제 응용 프로그램이 있다. 고전적인 예는 백만장자의 문제이다. 두 명의 백만장자가 누가 더 부유한지 알고 싶어하므로 둘 중 누구도 상대방의 순자산을 배우지 않는다. 이 상황에 대한 해결책은 본질적으로 비교 기능을 안전하게 평가하는 것이다.
프로토콜

2자 컴퓨팅(2PC)과 다자간 컴퓨팅(MPC)을 위해 제안된 프로토콜 간에는 큰 차이가 있다. 또한 중요한 특수 목적 프로토콜의 경우 일반적인 프로토콜(투표, 경매, 지불 등)에서 벗어나는 특수 프로토콜을 설계해야 하는 경우가 많다.
프로토콜 > 2자 컴퓨팅(Two-party computation)

특히 2자 설정은 적용 측면에서도 흥미롭지만, 다자간 경우에는 적용되지 않는 특수한 기법을 2자 설정에 적용할 수 있다는 점에서 흥미롭다. 실제로 보안 다자간 계산(실제로는 단일 함수만 평가되는 보안 함수 평가로 제한된 경우)이 2자 설정에서 처음으로 제시되었다. 원본 작업은 Yao의 두 논문 중 하나에서 나온 것으로 자주 인용된다. 논문에는 현재 Yao의 왜곡된 회로 프로토콜로 알려진 내용이 실제로 포함되어 있지 않는다.
Yao의 기본 프로토콜은 반정직한 공격자(semi-honest adversaries)에 대해 안전하며 라운드 수 측면에서 매우 효율적이며 일정하며 평가되는 대상 기능과 무관한다. 이 함수는 고정 길이의 이진수 입력을 갖는 부울 회로로 간주된다. 부울 회로는 세 가지 다른 유형의 와이어(회로 입력 와이어, 회로 출력 와이어 및 중간 와이어)로 연결된 게이트 모음이다. 각 게이트는 두 개의 입력 와이어를 수신하고 팬아웃(즉, 다음 레벨의 여러 게이트로 전달)될 수 있는 단일 출력 와이어를 갖는다. 회로의 일반 평가는 각 게이트를 차례로 평가하여 수행된다. 게이트가 위상적으로 정렬되었다고 가정한다. 게이트는 가능한 각 비트 쌍(입력 와이어의 게이트에서 나오는 비트)에 대해 고유한 출력 비트를 할당하는 진리표로 표시된다. 이는 게이트의 출력 와이어 값이다. 평가 결과는 회로 출력 와이어에서 얻은 비트이다.
Yao는 송신자와 수신자 두 당사자가 회로의 출력만 학습할 수 있도록 회로를 왜곡(구조 숨기기)하는 방법을 설명했다. 높은 수준에서 발신자는 왜곡된 회로를 준비하여 수신자에게 보낸다. 수신자는 회로를 인식하지 못한 채 평가하여 자신과 발신자의 출력에 해당하는 인코딩을 학습한다. 그런 다음 보낸 사람의 인코딩을 다시 보내면 보낸 사람이 출력의 일부를 계산할 수 있다. 송신자는 수신자의 출력 인코딩에서 비트로의 매핑을 수신자에게 전송하여 수신자가 출력을 얻을 수 있도록 한다.
보다 구체적으로, 왜곡된 회로는 다음과 같이 계산된다. 주요 구성 요소는 이중 키 대칭 암호화 체계이다. 회로의 게이트가 주어지면 입력 와이어의 가능한 각 값(0 또는 1)은 난수(레이블)로 인코딩된다. 4개의 가능한 입력 비트 쌍 각각에서 게이트를 평가한 결과 값도 무작위 레이블로 대체된다. 게이트의 왜곡된 진리표는 입력 레이블을 키로 사용하는 각 출력 레이블의 암호화로 구성된다. 진리표에서 이 네 가지 암호화의 위치는 무작위로 지정되므로 게이트 정보가 유출되지 않는다.
각 왜곡된 게이트를 올바르게 평가하기 위해 암호화 체계에는 다음 두 가지 속성이 있다. 첫째, 두 개의 서로 다른 키에 따른 암호화 기능의 범위는 서로 분리되어 있다(압도적인 확률). 두 번째 속성은 주어진 암호문이 주어진 키로 암호화되었는지 여부를 효율적으로 확인할 수 있다는 것이다. 이 두 가지 속성을 사용하여 수신기는 모든 회로 입력 와이어에 대한 레이블을 얻은 후 먼저 4개의 암호문 중 어느 것이 레이블 키로 암호화되었는지 알아낸 다음 해독하여 출력 와이어의 레이블을 얻음으로써 각 게이트를 평가할 수 있다. . 평가 중에 모든 수신기가 비트 인코딩을 학습하므로 이는 무의식적으로 수행된다.
송신자(즉, 회로 작성자)의 입력 비트는 평가자에게 인코딩으로 전송될 수 있다. 입력 비트에 해당하는 수신기(즉, 회로 평가자)의 인코딩은 2개 중 1개 OT(망각 전송) 프로토콜을 통해 획득된다. 1-out-of-2 OT 프로토콜은 C1과 C2 두 값을 소유한 송신자가 수신자가 요청한 값({1,2}의 ba 값)을 송신자가 알 수 없도록 하는 방식이다. 전송되었으며 수신자는 쿼리된 값만 학습한다.
악의적인 공격자를 고려하고 있다면 양 당사자의 올바른 행동을 보장하기 위한 추가 메커니즘을 제공해야 한다. OT 프로토콜이 악의적인 공격자로부터 이미 안전하다면 송신자에게 보안을 보여주는 것은 쉽다. 수신자가 할 수 있는 일은 명령에서 벗어날 경우 회로 출력 전선에 도달하지 못하는 왜곡된 회로를 평가하는 것뿐이다. 보내는 사람 측의 상황은 매우 다르다. 예를 들어, 수신자의 입력을 드러내는 함수를 계산하는 잘못된 왜곡된 회로를 보낼 수 있다. 이는 프라이버시가 더 이상 유지되지 않음을 의미하지만 회로가 왜곡되었기 때문에 수신기는 이를 감지할 수 없다. 그러나 영지식 증명을 효율적으로 적용하여 반정직한 프로토콜(Semi-honesst protocol)에 비해 작은 오버헤드로 악의적인 공격자로부터 이 프로토콜을 보호할 수 있다.
프로토콜 > 다자간 프로토콜

2PC 프로토콜과 달리 대부분의 MPC 프로토콜은 특히 비공개 채널의 무조건적인 설정에서 비밀 공유를 사용한다. 비밀 공유 기반 방법에서는 당사자가 특별한 역할(야오의 경우처럼 작성자 및 평가자)을 수행하지 않는다. 대신, 각 전선과 관련된 데이터가 당사자들 사이에서 공유되고, 프로토콜이 각 게이트를 평가하는 데 사용된다. 이 함수는 이제 Yao에 사용되는 이진 회로와 달리 유한 필드에 대한 "회로"로 정의된다. 이러한 회로는 문헌에서 산술 회로라고 불리며, 연산된 값이 유한 필드에 대해 정의되는 덧셈과 곱셈 "게이트"로 구성된다.
비밀 공유를 사용하면 각 당사자에게 공유를 배포하여 여러 당사자에게 비밀을 배포할 수 있다. 두 가지 유형의 비밀 공유 방식이 일반적으로 사용된다. Shamir 비밀 공유 및 추가 비밀 공유. 두 경우 모두 공유는 필드의 비밀을 합산하는 유한 필드의 무작위 요소이다. 직관적으로 보안은 부적합한 공유 집합이 무작위로 분산되어 있는 것처럼 보이기 때문에 달성된다.
비밀 공유 계획은 전체 n 개 당사자 중 최대 t 개 당사자를 제어하는 공격자가 허용될 수 있다. 여기서 t는 계획에 따라 다르며, 적은 수동적이거나 능동적일 수 있으며, 적의 힘에 대해 서로 다른 가정이 이루어진다. Shamir 비밀 공유 계획은 다음과 같은 경우에 수동적인 적으로부터 안전한다.  t<{\frac {n}{2}} 활동적인 공격자가 있을 때  t<{\frac {n}{3}} 정보 이론적 보안을 달성하는 동안, 즉 적이 무한한 계산 능력을 갖고 있더라도 공유의 기초가 되는 비밀에 대한 어떤 정보도 알아낼 수 없다. 비밀 공유에 대한 덧셈과 곱셈을 계산하는 방법을 정의하는 BGW 프로토콜 은 Shamir 비밀 공유를 사용하여 함수를 계산하는 데 자주 사용된다. 추가적 비밀 공유 계획은 한 당사자를 제외한 모든 당사자를 통제하는 적이 허용될 수 있다.  t<n, 무한한 계산 능력을 갖춘 수동적 및 능동적 적에 대한 보안을 유지한다. 일부 프로토콜에는 계산적으로 제한된 공격자에 대해서만 안전할 수 있는 설정 단계가 필요하다.
많은 시스템에서 비밀 공유 방식을 사용하여 다양한 형태의 MPC를 구현했다. 가장 인기 있는 추가 비밀 공유로 MPC를 구현하고 활성 공격자로부터 보호되는 SPDZ이다.
프로토콜 > 기타 프로토콜

2014년에 "출력 수신을 중단한 상대방이 상호 미리 정의된 금전적 벌금을 지불하도록 강요받는 보안 계산의 공정성 모델"이 비트코인 네트워크 또는 공정한 복권에 대해 설명되었으며 이더리움 에서 성공적으로 구현되었다.
실용적인 MPC 시스템

최근 몇 년 동안 2PC 및 MPC 시스템에 많은 발전이 이루어졌다.
실용적인 MPC 시스템 > Yao 기반 프로토콜

Yao 기반 프로토콜로 작업할 때 주요 문제 중 하나는 안전하게 평가할 기능(임의의 프로그램일 수 있음)이 일반적으로 XOR 및 AND 게이트로 구성된 회로로 표현되어야 한다는 것이다. 대부분의 실제 프로그램에는 루프와 복잡한 데이터 구조가 포함되어 있으므로 이는 매우 중요한 작업이다. Fairplay 시스템 이 문제를 해결하기 위해 설계된 최초의 도구였다. Fairplay는 두 가지 주요 구성 요소로 구성된다. 첫 번째는 사용자가 간단한 고급 언어로 프로그램을 작성하고 이러한 프로그램을 부울 회로 표현으로 출력할 수 있도록 하는 컴파일러이다. 그런 다음 두 번째 구성 요소는 회로를 왜곡하고 프로토콜을 실행하여 왜곡된 회로를 안전하게 평가할 수 있다. Yao의 프로토콜을 기반으로 한 2자간 계산뿐만 아니라 Fairplay는 다자간 프로토콜도 수행할 수 있다. 이는 Yao의 수동적 보안 프로토콜을 활성 사례로 확장하는 BMR 프로토콜 을 사용하여 수행된다.
Fairplay가 도입된 후 몇 년 동안 Yao의 기본 프로토콜은 효율성 향상과 능동 보안 기술의 형태로 많은 개선이 이루어졌다. 여기에는 XOR 게이트를 훨씬 간단하게 평가할 수 있는 자유 XOR 방법과 잘못된 행 감소(2개의 입력이 있는 잘못된 테이블의 크기를 25% 줄임)와 같은 기술이 포함된다.
지금까지 능동적인 보안을 확보하는 데 가장 효과적이라고 생각되는 접근 방식은 왜곡 기법과 "잘라내기 및 선택" 패러다임의 조합에서 비롯된다. 이 조합은 보다 효율적인 구성을 제공하는 것으로 보인다. 부정직한 행동과 관련하여 앞서 언급한 문제를 피하기 위해 동일한 회로의 많은 왜곡이 생성자에서 평가자에게 전송된다. 그런 다음 일관성을 확인하기 위해 그 중 약 절반(특정 프로토콜에 따라 다름)이 열리고, 그렇다면 열리지 않은 대부분의 항목이 높은 확률로 정확한다. 결과는 모든 평가의 과반수 투표이다. 여기에는 다수의 출력이 필요하다. 출력에 불일치가 있는 경우 수신자는 발신자가 부정 행위를 하고 있다는 것을 알지만, 그렇지 않으면 입력에 대한 정보가 유출될 수 있으므로 불평할 수 없다.
능동 보안을 위한 이러한 접근 방식은 Lindell과 Pinkas에 의해 시작되었다. 이 기술은 Pinkas et al.에 의해 구현되었다. 2009년에 이는 매우 복잡하고(약 30,000개의 AND 및 XOR 게이트로 구성됨) 사소하지 않은 기능으로 간주되는 AES(Advanced Encryption Standard) 회로에 대한 최초의 적극적 보안 2자 평가를 제공했다. 잠재적인 응용 프로그램),   2^{-40} 부정 행위 확률을 확보하기 위해 계산하는 데 약 20분이 걸리고 160개의 회로가 필요하다.
많은 회로가 평가되므로 당사자(수신자 포함)는 모든 반복에서 동일한 값이 사용되도록 입력을 커밋해야 한다. Pinkas 등의 실험. 보고된 프로토콜의 병목 현상이 일관성 검사에 있음을 보여준다. 그들은 AES 회로를 평가하기 위해 다양한 값에 대한 약 6,553,600개의 약속을 인터넷을 통해 보내야 했다. 최근 결과 에서는 적극적으로 보안되는 Yao 기반 구현의 효율성이 훨씬 더 향상되어 40개의 회로만 필요하고 훨씬 적은 수의 약속만 필요하다.  2^{-40} 부정 행위 확률. 개선 사항은 전송된 회로에서 잘라내기 및 선택을 수행하는 새로운 방법론에서 비롯된다.
최근에는 코어가 많은 CPU 에서 실행되도록 설계된 왜곡된 회로를 기반으로 한 고도의 병렬 구현에 중점을 두고 있다. Kreuter, et al. 강력한 클러스터 컴퓨터의 512개 코어에서 실행되는 구현을 설명한다. 이러한 리소스를 사용하여 회로가 거의 60억 개의 게이트로 구성된 4095비트 편집 거리 기능을 평가할 수 있다. 이를 달성하기 위해 그들은 Fairplay보다 더 잘 최적화된 맞춤형 회로 컴파일러와 파이프라이닝과 같은 몇 가지 새로운 최적화를 개발했다. 이를 통해 회로의 나머지 부분이 계속 생성되는 동안 네트워크를 통해 왜곡된 회로의 전송이 시작된다. AES를 계산하는 시간은 512노드 클러스터 시스템을 사용하는 경우 활성 사례에서 블록당 1.4초, 노드 1개를 사용하는 경우 115초로 단축되었다. Shelat과 Shen 상용 하드웨어를 사용하여 이를 블록당 0.52초로 개선했다. 동일한 문서에서는 초당 21블록의 처리량을 보고하지만 지연 시간은 블록당 48초이다.
한편, 또 다른 연구자 그룹은 비슷한 수준의 병렬 처리를 달성하기 위해 소비자급 GPU를 사용하는 방법을 조사했다. 그들은 GPU 특정 프로토콜을 설계하기 위해 인식되지 않는 전송 확장 및 기타 새로운 기술을 활용한다. 이 접근 방식은 비슷한 수의 코어를 사용하여 클러스터 컴퓨팅 구현과 비슷한 효율성을 달성하는 것으로 보인다. 그러나 저자는 약 50,000개의 게이트가 있는 AES 회로의 구현에 대해서만 보고했다. 반면에 여기에 필요한 하드웨어는 훨씬 더 접근하기 쉽다. 유사한 장치가 이미 많은 사람들의 데스크톱 컴퓨터나 게임 콘솔에서 발견될 수 있기 때문이다. 저자는 표준 GPU를 사용하여 표준 데스크톱에서 AES 블록당 2.7초의 타이밍을 얻었다. 보안을 비밀 보안과 유사한 수준으로 낮추는 경우 AES 블록당 0.30초의 런타임을 얻는다. 수동적 보안의 경우 2억 5천만 개의 게이트와 초당 7,500만 개의 게이트 속도로 회로를 처리한다는 보고가 있다.
안전한 다자간 계산 데이터 분석 구현

안전한 다자간 계산의 주요 응용 프로그램 중 하나는 데이터 관리자가 수행 중인 데이터 분석의 종류를 이해하지 못하도록 여러 당사자가 보유한 데이터를 분석하거나 제3자가 데이터를 맹목적으로 분석할 수 있도록 하는 것이다.
안전한 다자간 계산 데이터 분석 구현 > 시연 및 생산 시스템

| 분석 | 데이터 관리자 | 기술 제공자 | 도입 연도 | 노트 | 아직 사용 중이신가요? |
| --- | --- | --- | --- | --- | --- |
| 보스턴 여성 인력 협의회 보고서 | 보스턴 지역 고용주 | 보스턴대학교 | 2016년 |  |  |
| Allegheny 카운티 데이터세트 | 다양한 카운티 사무소의 여러 데이터 세트 | 갈루아와 초당적 정책 센터 | 2018 |  |  |
안전한 다자간 계산 데이터 분석 구현 > 소프트웨어 라이브러리

| 이름 | 개발자 | 도입 연도 | 노트 | 아직도 유지되고 있나요? |
| --- | --- | --- | --- | --- |
SEPIA - 개인정보 수집을 통한 보안: 
SCAPI - 보안 컴퓨팅 API: 
PALISADE - 동형암호 라이브러리: 
| MP-SPDZ - 다자간 계산을 위한 다목적 프레임워크 | CSIRO 의 Data61 | 2018 | 40가지 프로토콜 변형, 기계 학습 기능에 중점 | 2023년 기준 |
안전한 다자간 계산 데이터 분석 구현 > 하드웨어 구현체

| 이름 | 개발자 | 도입 연도 | 노트 | 아직도 유지되고 있나요? |
| --- | --- | --- | --- | --- |
| 트라이던트 MPC | i4p 정보학 회사 | 2019 | 암호화 키 관리를 위해 SMPC(Secure Multi-party Computation)를 적용하도록 설계된 시장 최초의 Common Criteria EAL4+ 인증 물리적 하드웨어 보안 모듈이다 . | 2024년 기준 |
같이 보기

디지털 화폐
동형암호
자명환

환론에서 자명환(自明環, trivial ring)은 하나의 원소만을 가지는 환으로, 이 경우 덧셈에 대한 항등원과 곱셈에 대한 항등원이 같다. 즉,  1=0이다.
정의

하나의 원소만을 가진 집합  \{0\}에는 유일한 환 구조가 존재한다. 즉  0+0=0\cdot 0=0이다. 이 환을 자명환이라고 한다.
성질

자명환은 (1을 가진) 환들의 범주  \operatorname {Ring} 의 끝 대상이고, (1을 가진) 가환환들의 범주  \operatorname {CRing} 의 끝 대상이다. 또한, 자명환은 유사환(pseudoring 또는 rng, 1을 가지지 않을 수 있는 환)들의 범주  \operatorname {Rng} 의 영 대상이다.
자명환은 가환환이지만, 보통 정의상 정역이나 체에는 포함시키지 않는다.
같이 보기

자명군
올리브솔새

|  올리브솔새 |
| --- | --- |
 올리브솔새
생물 분류ℹ️
계:: 동물계
문:: 척삭동물문
강:: 조강
목:: 참새목
아목:: 참새아목
하목:: 참새하목
과:: 올리브솔새과 (Peucedramidae) Wolters, 1980
속:: 올리브솔새속 (Peucedramus) Coues, 1875
종:: 올리브솔새 (P. taeniatus)
학명
Peucedramus taeniatus
(Du Bus de Gisignies, 1847)
올리브솔새의 분포
 올리브솔새의 분포 지역
보전상태
  최소관심(LC): 절멸위협 조건 만족하지 않음  평가기관: IUCN 적색 목록 3.1
올리브솔새(학명: Peucedramus taeniatus)는 명금류의 일종이다. 올리브솔새과(Peucedramidae)와 올리브솔새속(Peucedramus)의 유일종이다. 이 종은 미국 애리조나주 남부와 뉴멕시코주에서부터 멕시코 남부를 거쳐 니카라과에 이르는 지역에서 번식한다. 중앙아메리카를 포함한 북아메리카에 서식하는 유일한 조류 과이다. 이전에는 아메리카솔새과(신대륙솔새류)로 분류했지만, DNA 연구 결과는 이 종이 모든 신대륙솔새류/아메리카참새/찌르레기사촌류 분류군으로 분화되기 이전에 다른 명금류에서 초기에 분리되었음을 시사하고 있다. 그래서 현재는 별도의 과로 분류한다.
계통 분류

다음은 2019년 올리버로스(Oliveros) 등의 연구에 의한 참새소목의 계통 분류이다.
미야사카 모모나

미야사카 모모나(1994년 8월 24일~)는 일본의 여자 농구 선수로 포지션은 포인트 가드이다. 현재 한국여자프로농구의 아산 우리은행 우리WON에서 활동하고 있다.
동굴곰

|  동굴곰 |
| --- | --- |
 
생물 분류ℹ️
계:: 동물계
문:: 척삭동물문
강:: 포유강
목:: 식육목
과:: 곰과
속:: 곰속
종:: † 동굴곰
학명
Ursus spelaeus
Rosenmüller, 1794
동굴곰(학명:Ursus spelaeus)은 플라이스토세 후기에서 마지막 빙기 극대기인 약 2만4천년 전까지 유라시아 지역에 살던 멸종된 곰이다. 라틴어로 된 학명 역시 동굴(spela)에서 사는 곰(Ursus)이란 뜻으로 대부분의 화석이 동굴에서 발견되기 때문에 이런 이름이 붙었다. 오늘날 큰곰도 동굴에서 머물기는 하지만 동굴곰은 이들 보다 더 오랫동안 동굴에서 머무는 서식 습관이 있었던 것으로 보인다.
발견

1774년 요한 프리드리히 에스퍼가 《알려지지 않은 사족보행 동물에 대한 새로운 발견》에서 동굴곰을 처음 설명하였다. 그 이전부터 동굴곰의 뼈는 종종 발견되었지만, 사람들은 이 뼈의 주인공을 유인원, 고양이과의 동물, 심지어는 드래곤이나 유니콘같은 전설의 동물로 여기기도 하였다. 에스퍼는 이 동물이 곰이라고 서술하였지만 북극곰의 한 갈래라고 여겼다. 에스퍼의 책이 출간 된 지 20년이 지나 라이프치히 대학교의 해부학자 요한 크리스티안 로즈윌러는 동굴곰이 별도의 생물종이라고 결론 짓고 우르수스 스펠라에우스(Ursus spelaeus, 동굴곰)이라는 학명을 부여하였다.
수 많은 동굴곰의 뼈대 화석이 발견되어 연구되었으나 제1차 세계 대전 와중에 인산염 부족 사태가 일어나자 그 동안 모은 동굴곰 뼈의 상당수도 인산염 제조 공장으로 실려가는 신세가 되었다. 오늘날 대부분의 영토가 오스트리아에 속하는 슈타이어마르크 공국에 있는 "드래곤 동굴"들이 이렇게 인산염 재료를 얻기 위해 파헤쳐졌다. 발굴된 뼈는 머리뼈와 넙다리뼈 정도만 일부 남겨졌다.
1917년에서 1923년 사이 독일의 에밀 배흘러는 스위스의 드라흔로흐(독일어: Drachenloch, 드래곤 동굴)에서 굴을 꽉 채우고 있는 동굴곰 뼈를 발견하였다. 적어도 3만 마리에 가까운 양이었고 오랜 시간 동안 쌓인 것이었다.
동굴곰은 한 때 유럽 전역에서 살았고, 지금도 중부 유럽의 동굴들에서는 동굴곰의 뼈가 발견된다. 이런 동굴에는 독일 헤머의 하인리히스홀러, 이절론의 데헨홀러 같은 곳들이 있다. 1966년 폴란드의 야스키냐 니에취에쟈(폴란드어: Jaskinia Niedźwiedzia, 곰 굴)에서는 온전히 남은 뼈대 1 구, 온전한 머리뼈 5 개, 일부만 남은 뼈대 18구가 한꺼번에 발견되었다. 1983년 루마니아의 페스테라 우르실로르(루마니아어: Peștera Urșilor, 곰 굴)에서도 140여 구의 동굴곰 뼈대 화석이 발견된 바 있다.
2020년 8월 러시아의 랴홉스키 제도 볼쇼이 섬에서 "온전히 보존된" 동굴곰의 사체가 발견되었다. 대략 2만2천년 전에서 3만9천5백년 전 사이에 살았던 이 동굴곰은 뼈대 뿐만 아니라 근육과 장기 같은 연약 조직까지 남아있는 유일한 사체이다. 이곳에서는 다 자란 동굴곰의 사체가 발견된 지 얼마 지나지 않아 새끼의 사체도 발견되었다.
진화

다음은 곰과의 계통 분류이다.
동굴곰과 큰곰은 플리오세와 플라이스토세의 사이에 둘의 공통 조상인 우르수스 에트루스쿠스(Ursus etruscus, 에스투리아 곰)로부터 종분화 된 것으로 추정된다. 우르수스 에트루스쿠스는 약 1백2천만년 전에서 1백4천만년 전까지 살았다. 큰 곰과는 다른 진화 과정에서 우르수스 데니게리(Ursus deningeri)를 거쳐 동굴곰이 되었다. 마지막 빙기 무렵 우르수스 데니게리와 공굴곰은 모두 유럽에서 살고 있었지만, 데니게리 쪽이 먼저 멸종하였다고 보는 학자와 우르수스 데니게리는 동굴곰과 사실상 같은 종으로 아종에 속한다고 보는 학자가 있다.
동굴곰은 매우 다양한 지역의 다양한 지질층에서 발견된다. 따라서 시간의 흐름에 따라 적응하는 모습을 관찰할 수 있다. 특히 앞어금니가 점점 작아지다 결국 없어지고 뒷어금니가 커지는 경향을 확인할 수 있는데, 이는 동굴곰이 점점 육식보다 초식에 의존하는 생활을 했다는 것을 의미한다. 동굴곰의 진화 과정은 빙기와 밀접한 관련이 있기 때문에 이러한 식성 변화는 동굴곰이 겨울잠을 자기 위해 에너지를 축적하는데 도움을 주었을 것이다.
2005년 4만2천년 전에서 4만4천년 전 사이에 살았던 공굴곰 21마리의 치아에서 DNA를 추출하여 동굴곰의 유전체를 복원하였다. 유전체 전체를 분석한 이 연구 이전에 이미 2만년 전에서 13만년 전 사이의 동굴곰 뼈대에서 미토콘드리아 DNA만을 따로 분석한 사례가 있었는데 두 연구 모두 공굴곰이 아메리카흑곰보다는 큰곰이나 북극곰과 가까운 관계에 있음을 보여 주었다. 모두 큰곰속에 속하는 이 곰들은 먼저 아메리카흑곰이 분기되어 나뉜 뒤 서로 다른 종으로 진화했다는 의미이다. 큰곰과 동굴곰의 유전체 분기 시점은 약 1백2천만년 전에서 1백4천만년 전 무렵으로 추정된다. 그러나 최근 연구 결과는 종분화 이후에도 두 집단 사이의 혼혈이 계속되었음을 보여주고 있다.
특징

동굴곰의 키는 앞발을 들고 일어서면 3.5 m 정도로 몸집이 매우 컸다. 뒷다리가 길었고 단단한 정강이와 안쪽으로 돌아간 큰 발을 지니고 있었다. 동굴곰의 수컷의 몸무게는 평균 약 600 kg 정도로 오늘날 살아 있는 어떤 종류의 곰보다 더 컸고 개중에는 1 t에 달하는 것도 있었다. 반면에 암컷은 평균 250 kg 정도로 상대적으로 작은 크기였다. 박물관에 전시된 동굴곰의 뼈대는 90% 가량이 수컷인데, 암수의 크기 차이가 크다는 것을 알기 전에는 작은 동굴곰을 왜소화 한 아종으로 잘못 판단했기 때문이다. 시기적으로 빙기에는 보다 큰 몸집을 보이고 간빙기에는 크기가 줄어드는 경향을 보인다.
동굴곰은 마지막 빙기 극대기에 둘 또는 세개의 앞어금니가 사라졌다. 대신 제일 안쪽의 뒤어금니가 매우 크게 발달했다. 이는 동굴곰이 여전히 잡식성이었긴 하지만 식물성 먹이에 보다 많이 의존하는 적응이 이루어진 결과이다.
동굴곰 수컷의 큰 몸집은 넙다리뼈가 크게 자라는 덕분이다. 반면에 위팔뼈는 오늘날 북극곰의 것과 크게 차이가 없다.
생태 > 먹이

치아를 현미경으로 분석해 본 결과 동굴곰이 오늘날 곰들과 달리 흙투성이 덩이줄기와 같은 보다 거친 음식을 먹었다는 것이 밝혀졌다. 동굴곰의 치아는 이런 음식을 씹어 먹기 알맞도록 매우 컸다.
동굴곰의 입 구조를 보면 오늘날 살아있는 가장 가까운 동물인 큰곰보다 더 초식성 생활을 했다는 것을 알 수 있다. 특히 시간이 지남에 따라 동굴곰의 치아는 더욱 식물을 씹기 좋도록 변화해 갔다는 것을 알 수 있다. 마지막 단계에선 거의 초식만으로 살았을 수 있다.
식물과 동물은 생장 과정에서 같은 물질일 지라도 서로 다른 동위 원소를 축적하는데 동물의 경우 질소-15가 자연 상태 보다 더 높게 축적된다. 어떤 동물이 육식을 한다면 하위 영양 단계의 동물들을 잡아 먹으면서 질소-15의 농도가 농축하게 된다. 따라서 먹이 사슬의 꼭대기에 있는 최종 포식자의 경우 질소-15는 매우 높게 농축되고 반대로 1차 소비자인 초식 동물이라면 체내 질소-15의 농도는 낮아진다. 이와 같은 현상은 탄소-13의 농축에서도 살펴볼 수 있다. 그 동안 발견된 동굴곰 뼈에 농축된 질소-15와 탄소-13의 비율은 오늘날 살아있는 초식동물과 큰 차이가 없어 이들이 주로 초식 생활을 했음을 알 수 있다.
그러나 동굴곰이 온전히 초식만 하지는 않았다. 동굴에 남겨진 흔적들엔 동굴곰이 육식도 하였다는 증거들이 남아있다. 예를 들어 동굴곰의 이빨 자욱이 있는 뼈와 같은 것들이 있다. 치아에 남은 치석을 분석한 결과에서도 동물 단백질이 발견된다. 카르파티아산맥의 루마니아 쪽 지역에 있는 페시테라 쿠 웨아세 동굴에서는 동굴곰의 뼈대에서 육식을 했을 때 나타나는 질소-15 농축이 확인되었다. 따라서 동굴곰은 맘모스와 같은 완전한 초식 동물이라기 보다 식물성 먹이를 위주로 하지만 간간히 육식도 하는 잡식 동물이었다고 볼 수 있다.
동굴곰이 큰곰속에 속하는 다른 곰들에 비해 뚜렷하게 초식성을 보인다는 것이 여전히 주류적인 견해이지만 잡식 동물이었다는 견해가 점차 지지를 얻고 있는 상황이다. 이에 따라 기존의 동굴곰 머리뼈에 대한 분석 결과도 새롭게 해석되고 있다.
생태 > 수명

동굴곰의 일반적인 사인은 동면을 하다 축적된 에너지 고갈로 죽음을 맞이하는 것이었다. 여름철에 질병에 걸렸거나 노쇠하게 되어 먹이를 충분히 섭취하지 못하면 지금보다 더 길었던 겨울을 견디기 힘들었다. 발견된 동굴곰의 뼈대를 보면 이들이 척추 유합, 골종양, 충치, 치근 흡수, 특히 어린 개체에서 자주 나타나는 괴사, 골수염, 골막염, 구루병, 신장결석과 같은 다양한 질명에 시달렸음을 알 수 있다. 수컷 동굴곰의 경우엔 종종 음경골이 부러져 있는데, 아마도 짝짓기 철에 다른 수컷과 싸움을 벌이다 얻은 부상일 것이다. 동굴곰의 수명은 정확히 알려진 바가 없지만, 아마도 20 살 이상을 살았을 것으로 보인다.
고생물학자들은 회색늑대나 동굴하이에나가 동굴곰에게 위협이 되었겠지만 건장한 동굴곰은 이들을 쉽게 물리쳤을 것으로 본다. 그러나 병에 걸렸거나 쇠약해 진 동굴곰은 늑대나 하이에나의 먹이가 되었다. 겨울철 끝무렵 먹이가 거의 없어지면 동굴하이에나들은 이미 겨울잠을 자다 죽었거나 나이가 많아 몹시 쇠약해진 동굴곰을 공격하였을 것이다. 이들은 동굴곰의 살점뿐만 아니라 뼈까지 부수어 먹었다. 그러나 아무리 겨울잠을 자는 중이라고 하여도 건장한 동굴곰은 그리 만만한 사냥감이 아니었다. 가끔 동굴곰의 뼈가 발견되는 동굴 속 깊이 동굴사자의 뼈가 함께 발견되는 경우가 있는데, 아마도 동굴곰을 잡으러 왔던 동굴사자가 도리어 동굴곰에게 죽임을 당한 것일 수 있다.
서식 범위

동굴곰의 화석은 유럽 전역에서 발견된다. 서쪽으로는 영국, 스페인부터 남쪽으로는 이탈리아, 발칸반도, 중부 유럽인 독일, 폴란드, 루마니아는 물론이고 동쪽으로는 러시아에서도 발견되고 있다. 유럽을 넘어 아시아 지역인 이란의 북부에서도 발견되었다. 한편 마지막 빙기 동안 온전히 빙하로 뒤덮여 있었던 스코틀랜드, 스칸이나비아, 발트 3국 등에서는 화석이 전혀 발견되지 않는다. 동굴곰이 가장 많이 발견되는 곳은 오스트리아, 스위스, 이탈라아 북부, 스페인 북부, 프랑스 남부, 그리고 루마니아로 모두 산악이 많은 지역이다. 거칠게 정리하면 알프스산맥과 카르파티아산맥이 동굴곰의 주요 서식지였다. 유럽에서는 수천구가 넘는 동굴곰 화석이 발견되어 한 때 동굴곰이 매우 흔했다는 것을 알 수 있지만, 동시에 지난 10만년 사이에 해마다 많은 수의 동굴곰이 동굴 속에서 죽었다는 것을 의미하기도 한다.
동굴곰은 산중턱 석회암 동굴에 주로 살았고 평지의 숲은 피했다.
인간과의 관계

1917년에서 1923년 사이 에밀 배흘러는 드라헨로흐의 공굴곰 뼈대들을 발견하면서 동굴 근처에 석회암으로 된 키스트도 함께 발견하였다. 키스트는 주로 매장에 사용되었던 석기 시대 유물인데, 트라헨로흐의 키스트는 동굴곰의 머리뼈와 다른 곰들의 뼈들이 함께 묻혀있었다. 이 뼈들을 묻은 것은 분명 사람이기 때문에, 학자들은 키스트에 묻힌 동굴곰 머리뼈가 매장 문화나 종교 의식에 관련이 있다고 해석하였다. 그러나 이것을 종교와 연결지어 생각하기 보다는 사냥을 통해 얻은 강력한 동물의 머리를 트로피로 삼았을 수도 있다. 한편 고고학자 티모시 인솔리는 2004년 《고고학, 종교, 의식》에서 당시 발굴이 전문 고고학자의 참여 없이 인부들에 의해 진행되었기 때문에 키스트의 발견 당시 상황이 정확하지 않아 실제 동굴곰의 머리가 있는 상태에서 키스트가 발견된 것인지 아니면 드라헨로흐에서 발견된 수많은 머리뼈 가운데 하나가 굴러 떨어진 것을 오인한 것인지도 확실치 않다고 주장하였다.
비슷한 사례가 프랑스 남부의 레고르도에서도 발견 되었다. 매장된 네안데르탈인 옆에 적어도 스무 마리가 넘는 동굴곰의 뼈대가 네모난 돌 밑에 함께 묻혀 있었다. 이에 대해 네안데르탈인이 종교적 의식을 갖고 있었다는 해석이 우세하다.
이탈리아 북부 사보나에 있는 토이라노 동굴에서는 동굴 속 깊은 곳에서 석순을 동굴곰 모양으로 다듬은 유물이 발견되었다. 네안데르탈인이 만든 이 석순 조형물은 숭배의 대상이거나 의식에 사용되었던 것으로 보인다.
멸종

동굴곰은 여러 원인이 복합적으로 작용하여 멸종하였다. 대개는 멸종 시기를 2만4천년 전 쯤으로 보지만 1만2천년 전 목걸이에 동굴곰 치아가 장식된 것이 있어 그 보다 멸종 시기가 늦었을 수도 있다.
마지막 빙기 극대기에 다른 많은 거대동물 들이 멸종하였던 것과 비교하면 동굴곰은 이른 시기에 멸종했는데 초식성 동물로 적응 한 것이 기후 변화를 맞아 멸종의 원인이 되었다고 추정되었다. 그러나 동굴곰의 화석 시기가 여러 지질 시대에 걸쳐 있기 때문에 기후 변화가 멸종의 원인이 아니었을 것이라고 본다. 미토콘드리아 DNA의 분석 결과 동굴곰은 빙기 이전부터 계속하여 유전체 변화를 겪었기 때문에 기후 변화만으로 멸종을 설명하기는 어렵다. 더욱이 루마니아의 동굴에서 발견된 질소-15가 농축된 동굴곰의 뼈대는 이들이 육식도 하는 잡식 동물이었다는 점을 증명한다.
기후 변화가 하나의 원인이었겠지만, 그 보다 더 큰 위험은 사람이었을 것이다. 인간은 동굴곰을 끊임 없이 사냥하였고 스스로의 거주지를 마련하기 위해 동굴 속에서 곰을 쫓아 내었다. 그러나 선사시대 동굴 벽화에는 큰곰이 흔하지만 동굴곰의 그림은 드물기 때문에 인간의 사냥감 항목에서 동굴곰은 그리 크지 않았다는 주장도 있다. 그렇다면 사람과 서식지가 겹쳤기 때문에 동굴곰이 밀려난 것일 수도 있다. 고생물학자 비외른 쿠르텐은 마지막 빙기가 시작되기도 전에 이미 동굴곰은 서식지를 인간에게 빼앗겨 개체수 감소를 겪고 있었다고 추정한다. 동굴곰의 마지막 거처는 아마도 알프스 남쪽 지역이었을 것이다.
발굴된 동굴곰 화석을 보면 이들이 오직 동굴에서만 겨울잠을 자고 큰곰과 같은 다른 곰들처럼 관목 숲 같은 대신할 수 있는 장소를 쓰지 않았다는 점을 알 수 있다. 사람의 인구 증가와 함께 알맞은 동굴의 수가 계속해서 줄어들었기 때문에 큰곰과 달리 결국 제대로 겨울잠을 잘 수 있는 곳을 마련하지 못해 멸종하였을 수 있다. 물론 기후 변화가 멸종을 부추겼겠지만 3만5천년 전까지도 중부 유럽에 많은 개체가 살던 동굴곰이 급속히 멸종한 것은 동굴을 놓고 인간과 거주지 경쟁을 벌일 수 밖에 없었기 때문일 것이다.
2019년 진행된 스위스, 폴란드, 프랑스, 스페인, 독일, 이탈리아, 세르비아 등지에서 발굴된 81 구의 동굴곰 뼈대에 대한 광범위한 미토콘트리아 유전체 분석 결과 동굴곰은 크로마뇽인이 등장하여 오리냐크 문화가 생긴 4만여 년부터 이미 개체수 감소에 따른 유전체 변화를 겪었다. 즉 현생 인류의 인구 증가가 동굴곰의 개체수 감소에 영향을 주었다는 의미가 된다. 따라서 동굴곰의 멸종은 기후 변화 보다는 인간의 사냥과 서식지 파괴에 의한 것이다. 스페인의 동굴에서 발견된 동굴곰 화석의 미토콘드리아 DNA 분석 결과 이 동굴에는 조상에서 자손으로 혈통이 이어지는 동굴곰들이 살았다. 인간에게 서식지를 빼앗긴 동굴곰이 겨울잠을 잘 만한 알맞은 새 동굴을 찾기는 쉽지 않았을 것이다. 그런 곳은 이미 다른 사람이 살거나 다른 동굴곰 가족이 있었을 것이기 때문이다.
2020년 러시아의 랴홉스키 제도 볼쇼이 섬에서 발견된 동굴곰 사체는 약 3만5천년 전 얼어 죽은 것이다. 겨울잠을 자는 동굴곰의 습성을 생각하면 겨울철 동굴 밖을 헤메는 모습이 멸종에 이른 동굴곰의 마지막 모습이었을 것이다.
같이 보기

디브예 바베 플루트
미국 자연사 박물관에 전시된 동굴곰의 뼈대
재구성한 생존 당시의 동굴곰 모습
동굴곰의 머리뼈
어린 동굴곰의 뼈대
프랑스 라 콩바렐 동굴에 그려진 선사시대의 그림. 오른쪽 위에 동굴곰이 보인다.
루마니아에서 발굴된 동굴곰의 뼈대
알칼리성 인산가수분해효소

알칼리성 인산가수분해효소(영어: alkaline phosphatase) (EC 3.1.3.1)는 86 킬로달톤의 동종이량체 단백질 효소이다. 염기성 인산가수분해효소(영어: basic phosphatase)라고도 한다. 각각의 단량체는 촉매 기능에 중요한 5개의 시스테인 잔기 2개의 아연 원자 및 1개의 마그네슘 원자를 포함하며, 알칼리성 pH 환경에서 최적의 활성을 나타낸다.
같이 보기

인산가수분해효소
산성 인산가수분해효소
프로그래밍 도구

프로그래밍 도구(programming tool) 또는 소프트웨어 도구(software tool)는 소프트웨어 개발자가 다른 프로그램과 응용 프로그램을 만들고 오류를 고치고 유지 보수하는 데에 사용하는 프로그램이나 응용 프로그램이다. 이 용어는 보통 어떠한 작업을 완성할 목적으로 함께 묶을 수 있는 상대적으로 단순한 프로그램을 가리킨다. 여러 개의 도구로 물리적 객체를 수정할 수 있다.
도구 목록

소프트웨어 도구는 다음의 형식을 가리킨다:
리비전 제어: CVS, 깃, PVCS, SCM, SCCS, SVN 등
UML: 개발 문서화 도구 및 개발보조 도구
인터페이스 발생기: 스위그
GDB(GNU 디버거): GNU 프로그램 오류 제어, UNIX 계열에서 사용한다.
빌드 도구: automake 등
디버깅 도구는 디버깅 코드의 작업을 처리하는 데에 쓰인다.
메모리 누수 찾기: C 프로그래밍 언어의 경우 예를 들어 메모리 누수는 쉽게 발견되지 않는다. - 메모리 디버거라는 이름의 소프트웨어 도구는 자주 메모리 누수를 찾을 때 쓰이며, 프로그래머가 문제를 효과적으로 수정할 수 있게 도와 준다.
통합 개발 환경

통합 개발 환경 (IDE)은 많은 도구의 기능을 하나의 패키지에 묶은 것이다. 특정한 프로젝트 안의 파일들 안의 내용을 검색하는 등 단순한 작업을 더 쉽게 할 수 있게 도와 준다.
통합 개발 환경은 자주 기업 수준의 응용 프로그램들에 자주 쓰인다.
통합 개발 환경의 예:
델파이
C++빌더
마이크로소프트 비주얼 스튜디오
Xcode
WinDev
이클립스
같이 보기

컴퓨터 보조 소프트웨어 공학 도구
소프트웨어 개발 키트
소프트웨어 공학
소프트웨어 시스템
컴퓨터 과학
스크립트 언어
싹

이 문서는 식물학 용어에 관한 것입니다. 수학 개념에 대해서는 싹 (수학) 문서를 참고하십시오.
싹
싹(bud, sprout)은 땅에서 씨앗이 발아하는 것, 또는 목본식물에서 새로운 줄기나 꽃의 성장 등을 의미하는 식물의 성장 과정 중 하나이다. 식물의 싹은 잎, 측면 새싹, 꽃 줄기 및 꽃 봉오리와 같은 부속기와 함께 모든 식물 줄기로 구성된다. 새싹이 자라면서 세포는 단단하고 견고한 구조를 가진 2차 세포벽을 발달시킨다. 고사리와 같은 일부는 새싹을 먹을 수 없거나 맛이 떨어지게 만드는 독소를 생성하기도 한다.
새싹의 필수 구성 요소인 줄기는 새싹, 과일 및 잎의 축을 제공하는 역할을 한다.
종류

무순
밀싹
숙주나물
완두순
죽순
콩나물
같이 보기

눈 (식물학)
수관 (식물)
가시 (식물)
바칼로레아

이 문서는 프랑스의 졸업시험에 관한 것입니다. 크리스티안 문지우 감독 영화에 대해서는 엘리자의 내일 문서를 참고하십시오.
바칼로레아 졸업증서, 이 졸업장은 국가 교육부 장관의 위임을 받아 아카데미 총장이 발급한다.
바칼로레아(프랑스어: baccalauréat)는 프랑스 공화국에서 교육 과정의 중등 과정 졸업 시험이다. 며칠 동안 계속 시험을 친다. 바칼로레아에서 50%이상의 점수를 받는 모든 사람에게 일반적인 국공립 대학 입학 자격이 주어지며 절대평가다. 대한민국의 수학능력시험의 역할이지만 수능은 상대평가다. 흔히 줄여서 bac이라고 부른다. 논술 및 철학 시험을 필수로 하는 것으로 유명하다.  1808년 나폴레옹에 의해 시작되어 약 200년에 가까운 역사를 가지고 있으며, 철학-논술 시험문제는 학생 뿐만 아니라 전 국민의 관심사가 되고 있다. 대학 교수가 아닌 현직 교사들이 문제를 낸다. 한국의 수능보다 생각을 깊게 해야 풀 수 있다.
개요

영국의 A-레벨이나 미국 고등학교 졸업 시험과 마찬가지로, 바칼로레아도 표준화된 합격 증명서가 있다. 이를 통해 특정한 영역의 직업이나 대학 입학, 또는 전문 자격증이나 훈련을 받기 위해 쓰인다.
중등학교 마지막 해에 거의 모든 학생들이 이 시험을 본다. 그러나 프랑스의 바칼로레아는 법적으로 대입 인증 시험이다. 법에 따라 이 시험은 학생들의 대입 수학 능력을 판단하기 위한 것이므로, 이론상 리세에 다니는 학생은 리세 과정이 끝나면 바칼로레아를 칠 수 없다. 미국 고등학교 졸업장과 달리 바칼로레아는 리세의 졸업 시험이 아니다.
bac이란 말은 바칼로레아의 각 시험을 지칭하는 표현으로도 쓰인다. 가령 le bac de philo은 철학 영역 시험을 뜻한다. (이 영역은 자신의 학습 분야와 상관없이 모든 학생이 쳐야 한다.)
프랑스에는 세 가지 바칼로레아 영역이 있다.
일반 바칼로레아(baccalauréat général)
전문 바칼로레아(baccalauréat professionnel)
기술 바칼로레아(baccalauréat technologique)
각 영역마다 전문화된 커리큘럼이 있다.
그러나 프랑스 내 종합 대학에 입학하려면 입학에 요구되는 바칼로레아 영역에 제한이 있다. 어떤 경우에는 바칼로레아 대신 특별 시험을 쳐서 프랑스 대학에 입학할 수도 있다.
Baccalauréat général(일반 바칼로레아)의 종류

Baccalauréat général(일반 바칼로레아)을 응시하는 학생들은 리세에서 2학년 때 자신이 응시할 바칼로레아 시험의 종류를 선택한다. 각각의 시험은 분야별로 전문화되어있고 요구하는 과목별 비율이 다르다. 각각의 시험을 Bac S, Bac ES, Bac L로 표시한다. Baccalauréat général 시험의 종류는 아래의 표와 같다.
| S scientifique (자연과학) | ES sciences économiques et sociales (경제학과 사회과학) | L littéraire (문학) |
| --- | --- | --- |
| 자연과학시험은 수학, 물리, 화학, 생물학에서 높은 수준을 요구한다. | Bac ES는 경제학과 사회과목에서 높은 수준을 요구하고, 수학도 요구된다.  | Bac L은 프랑스 문학, 철학, 역사, 지리학, 외국어의 비중이 크다. |
바칼로레아는 학생들이 40개가 넘는 외국어 시험과 다른 프랑스 지역 언어(카탈루냐어, 노르만어, 알자스어 등)의 시험을 보게 해준다.
철학 논술 문제

바칼로레아 철학 논술문제의 예로는 다음과 같다.
스스로 의식하지 못하는 행복이 가능한가?
우리가 하고 있는 말에는 우리 자신이 의식하고 있는 것만이 담기는가?
예술 작품은 모두 인간에 대해 이야기하고 있는가?
우리는 과학적으로 증명된 것만을 진리로 받아들여야 하는가?
권리를 수호한다는 것과 이익을 옹호한다는 것은 같은 뜻인가?
무엇이 내 안에서 어떤 행동을 해야 할지를 말해 주는가?
정의를 위해 폭력은 정당화 되는가?
대한민국의 일반적 논술과 달리 광범위하고 주관적인 글을 쓸 것을 요구하며 독창성을 중시한다.
같이 보기

프랑스의 교육
국제 바칼로레아
대학 입학 시험