다니엘 번스타인 교수의 두 번째 미국과의 소송

암호학계에 꽤나 공격적인 어투로 유명한 다니엘 번스타인 (Daniel J. Bernstein)이라는 교수가 있다. 바로 기억나는 것만 해도 공개된 메일링에서 (대략) 상대방의 논문에 대해 “그거 Bullshit인거 너도 알지 않냐” 라는 말과, 학회 초청강연에서 깨진 암호 스킴을 줄줄이 말하면서 공격 논문의 부분을 강단에서 주르륵 읽는 -_- 공격적인 성향이 강하시다. 직접 얘기해본적은 없지만, 학회에서 만난 학생은 굉장히 좋은 사람이라고 하긴 했는데 굉장히 무서운 사람이라고 생각이 든다.

이 사람은 연구도 잘하지만 학계에서는 학계의 방향에 대해 논의하는 논문/평론이나 암호 표준화, 외부적인 활동으로 꽤나 유명하다. 표준은 이름 말해도 알기 어려우니 제끼고, 외부 활동으로의 대표적인 예시가 바로 Bernstein v. United State. 소송사건.

요약하자면 미국에서 암호학 기술의 외부반출을 금지하는 법(위키 페이지)이 있었고, 1992년까지 꽤나 엄격했다고 한다. 이 법에 대해 번스타인 교수가 1995년 학생시절 암호 논문을 출판할 때 소스코드를 함께 동봉하기 위해 소송을 해서 (처음에는 다른 사람들과 함께, 나중에는 혼자서가 된 듯 하다.) 결국은 이겼다고.

번스타인 교수의 홈페이지에 공개된 글에 따르면 이번 소송은 대략 NSA의 정책이 암호학 표준을 망치고 있다..에 관한 것 같다. 사실 여러가지 면으로 NSA/미국 정부가 암호 표준에 영향을 많이 주고, 실제로 이상한 결정을 한 것도 여럿 있어서 그런지 사례를 많이 들어가며 글을 썼다. 대략 DES의 키 길이 문제, DualEC의 백도어에 관한 의혹 등이 대표적인 사례인듯 (잘 몰랐는데, 스노든이 공개한 서류에도 약간 관계되는 내용이 있다고 한다.)

NSA가 의심스러운 행동을 자주 하는거야 사실이지만, 다른 여러 학자들은 번스타인 교수가 최근의 NIST 대양자암호 표준화에 떨어져서 하는 소송이 아니냐는 의견도 좀 있다. 공격적인 비난으로는 이러한 번스타인의 행동이 표준화와 대양자암호로의 변화를 늦추는 요인이 될거라고 ㅋㅋ

STOC의 저자 순서와 인용에 관한 새로운 권고

분야에 따라 다르지만, 내가 몸담고 있는 분야들은 주로 논문의 저자 순서를 (성의) ABC순으로 적는다. 이유는 분야마다 다르겠지만, 특히 이론적 분야에서 ABC순서를 지키는 경우가 많은데, 이 경우 저자중 그 누가 빠져도 이론적인 갭이 생겨 모두의 역할이 중요하니 ABC로 쓴다는 말을 들었던 적이 있다.

하지만 많은 다른 분야에서는 1저자, 2저자를 나누어가면서 저자의 이름 순서를 정하기도 한다. 이에 따라 단순히 성의 알파벳이 느려 손해를 보는 상황이 벌어지기도 한다. 현실적으로는 학교 임용에서 1저자 논문과 2저자 논문 등에 점수를 다르게 매겨 취업에서 손해를 보기도 하고 (엄상일교수님이 서울신문에 관련된 사설을 기고한적이 있다), 학계에서는 다른 논문에 인용되는 경우 A et al. 등으로 뭉뚱그려져 다른 저자들이 충분한 인정을 받지 못하는 경우도 자주 생긴다.

이에 따른 영향인지, 이론적 컴퓨터과학의 가장 큰 학회중 하나인 STOC (Symposium of Theory of Computing)에서 2022년 call for paper 페이지에 다음과 같은 권고가 생겼다.

Image

즉 저자의 순서를 (프로그램 등을 통해) 임의로 정하고, 출판물을 인용할 때 et al.의 표현을 지양하고 최대한 모든 저자를 불러달라는 것. 실제로 주변에서 관련된 불만들을 들은 적이 있으니 (특히 교수님의 성 첫글자가 B, C 등이여서 항상 첫 저자를 뺏겨서) 이러한 경향이 퍼지면 많은 학생의 불만이 조금 해소될 것 같다 ㅋㅋ.

이외에도 사실 나는 전통적인 논문의 저자 표기 방식에 불만이 꽤 있는데, 주로 “성”만 언급하는게 동양인들에게 특히 불이익이 되는듯 하다. 농담삼아 하는 얘기가 한국의 학자 Kim과 Lee는 대체 누구길래 이렇게 많은 논문을 쓰냐, 중국의 Wang, Zhang, 베트남의 Nguyen과 견줄만 하다 -_- 이런 얘기를 하니.. 이 때문인지는 모르겠으나 동양 학자들 중에서는 성을 의도적으로 비틀어 쓰는 경우들이 잦은것 같다. (사실 나도 Han을 Hhan으로 썼다!) 이 문제 자체도 제시된걸 어디선가 봤는데, 지금은 도저히 못찾겠군.

ACM Transactions on Computation Theory의 P=NP 해프닝

이론적 컴퓨터과학은 저널보다 학회에 주로 논문을 내고, 주로 아카이브할만한 가치가 있거나 다른 여러 이유가 있을 때 저널버젼으로 정리해서 내곤 한다. (저널에 새로 실리는 논문이 없는 것은 아니다.) 이러한 저널로 유명한 저널이 Journal of the ACM, Siam Journal on Computing이나 ACM Transactions on Computation Theory (ToCT), Journal of Cryptology 등등이 있다. 그런데, 바로 엊그제 ToCT에 P=NP의 증명을 주장하는 다음과 같은 논문이 실렸다.

Image

3SAT은 NP-complete로 잘 알려진 문제로써, 제목에 따르면 3SAT이 다항식시간에 풀리니 P=NP가 된다. ToCT는 얼마전 글에서 소개했던 Scott Aaronson의 P=NP임을 증명/반증하기 어렵다는 Algebrization이 실려있기도 한, 명백히 피어리뷰가 잘 되는 저널이다!! 이정도의 권위있는 저널에 P=NP의 증명/반증이 실린것은 내가 알기로는 처음이다.

그런데 사실 이건 알고보니 휴먼에러였다 -_- ㅋㅋ 아래는 ToCT의 치프에디터 Ryan O’donnell의 해명 트윗.

Image

즉 이미 Rejection 메일은 갔는데, 행정적 오류로 업로드 되어버렸다고. Ryan Williams의 다른 트윗을 보면 사실 데스크리젝이였다고 한다 -_-ㅋㅋ 결국 다음과 같은 노트가 생기고 곧 내릴듯하다. 페이지가 없어질것 같아서 캡쳐해서 기록용으로 여기 써놓는다 ㅋㅋㅋ

Image

구글의 양자컴퓨터를 통한 Zoom 미팅

Zoom video call is powered by Google’s quantum computer이라는 기사가 Physics world에 올라왔다. 구글 시카모어팀이 Zoom 미팅을 하던 중 발견한 이 결과는 Journal Quantum Advanceds of Computing and Correlation라는 저널에 실렸다고.

좀 더 자세하게, 구글의 양자우월성 실험 [지난글 1,지난글 2]에 사용된 Sycamore를 이용해 Zoom 미팅에서 일종의 “quantum Zoom advantage”를 얻을수 있다고. 이 결과는 워털루대학의 Benedetta Brassard교수가 Zoom 미팅을 할때 어쩌다 Zoom미팅 중 Sycamore에 실행했을 때 발견되었다고 한다.

Brassard가 미팅중 Sycamore에 연결해 대시보드를 확인하며 계산이 어떻게 되어가는지 확인하며 Shor알고리즘에 관한 시덥잔은 농담을 던지던 도중, 11명의 미팅 참가자들은 Sycamore의 53큐비트에 혼란스러운 양자상태로 중첩되었고, 몇몇 사람들은 Brassard의 말을 들을수 있던 반면 몇몇 사람들은 대화가 들리지 않는다고 말했다고.

이는 아마 Sycamore와 Zoom이 연결된 동안 양자역학의 다세계 해석이 일어난것으로 생각된다고 한다. 어떤 의미에서 Brassard가 동시에 여러 회의실에 들어간 것으로 보인다고. Brassard는 여러 화면이 줌에 나타나는 것을 보며 고전세계로 돌아가기 위해 측정, 즉 다른사람의 말에 귀를 기울이고 들었다고 한다.

저자들은 이 현상을 통해 참가자들이 여러 회의실에 동시에 참가하고, 지루한 회의시간을 줄이는 현실에 가장 가까운 양자컴퓨터를 통한 이득을 볼 수 있을것이라고 예측한다고.


물론 굉장히 공들인 만우절 기사이다 -_-

플로리다의 정수처리장 사이버 공격

NBC 뉴스에 따르면 플로리다의 한 정수처리장이 해커에 의해 공격당했다고 한다 [짧은 기사, 더 긴 기사].

해커는 정수처리장의 원격조정 아이디를 해킹하여 정수처리 과정에서 수산화나트륨(양잿물!)의 정상 수준의 100여배로 올리라는 명령을 내렸다고. 다행히도 이정도는 죽음에 이를정도는 아니지만, 복통/구토, 메스꺼움이나 위장에 대한 손상을 이르키기에는 충분했다고 한다. 더 다행히도 예비 경보장치가 있어 문제가 생기기 전 관리자들이 이상을 알아차리고 재조정을 했기에 피해자는 없다고 한다.

기사에 따르면 미국은 정수처리 시설이 수만개가 있고, 모두 다른 방식으로 운영되는듯 하다. 이번 공격당한 시설은 컴퓨터 원격제어 프로그램인 TeamViewer를 통해 원격 접속할 수 있었고, 이게 문제가 되었다고. 대부분의 시설이 한두명의 보안관리자만 두고 있다고 한다. 피해를 입은 도시의 경우 도시 전체에 관련 시설의 보안관리자가 한명인듯 -_-.

공격자는 누구인지 알려지지 않았고, NBC뉴스에서는 적대국에서 이러한 식의 공격이 이루어질지 모른다고 경고하고 있다. 지난글에 언급한 것 처럼 세상이 전산화가 되어가면서 정말 사이버펑크화가 되간다고밖에…

화웨이의 가짜 트위터 계정

작년에 시작된 벨기에에서 화웨이를 수익성 있는 통신망 사업에서 배제하는 정책(관련 연합뉴스 기사)이 시행된 이후, 화웨이에서 머신러닝(GAN)으로 생성된 가짜 얼굴을 가진 가짜 트위터 아이디를 생성해 이를 (유럽 지사의 아이디로) 리트윗함으로 정책을 비난/비판했다는 뉴욕타임즈 기사. 한글기사는 찾기 어려운듯하다 -_-.

처음 소식을 들었을 때는 트위터 아이디 수백/수천개로 했나 했는데, 기사에 따르면 확인되는 가짜 아이디는 14개정도인듯하다. 하지만 이렇게 엔터테이닝 목적이 아닌 진짜(?) 가짜 사이버인간을 만들어내서 현실에 영향을 주는것을 보니 우리가 얼마나 사이버펑크의 세계에 가까워졌는지 느껴지는구만 -_-.

약탈적 저널과 한국의 연구

방금 전 다음과 같은 메일을 대한수학회에서 받았다. 요지는 MDPI에서 발행하는 두 학회지 SymmetryMathematics가 (대한수학회 차원에서도) 약탈적 저널로 분류된다는 것.

Image

약탈적 저널/학회의 정의는 다양하게 있는데, 보통 큰 게재료를 받으며 빠른 심사를 해주고, 엄청나게 많은 논문을 받음으로 임팩트팩터를 높히는 방식을 취한다. 하지만 리뷰 퀄리티는 엉망이기 마련이고, 따라서 실린 논문들도 딱히 믿을만하지 못하게 된다.

그렇다면 사람들은 왜 약탈적 저널에 논문을 내고, 이런 약탈적 저널은 왜 생기는걸까? 이에 대한 대답이 위 메일에 언급된 외국(?) 수학자의 메일에 대략 요약되어 있다. 적당히(대부분을?) 발췌해서 번역/의역하면 다음과 같다.

두 수학저널 Symmetric와 Mathematics는 한국 수학 커뮤니티를 죽이는 피드백을 생성하고 있습니다. (중략) 최근 2년간 한국의 50개가 넘는 대학에서 젊은 연구자들과 성숙한 연구자들 이 수백개의 눈몬을 위 저널에 출판하고 있습니다. 이전의 약탈적 저널의 스캔들과 다르게, 여러 가장 훌륭한 대학들도 포함됩니다. (중략)

3년전만 해도 해당 학술지에는 고작 몇 교수들만이 논문을 냈어요. 하지만 그들은 그들의 학생들과 함께 해당 학술지에 논문을 내기 시작했어요. 졸업 이후에는 그 학생들은 굉장히 높은 점수를 보이며 좋은 자리를 잡겠죠, 저 학술지들의 높은 임팩트팩터많은 수의 논문때문에요. 임용되고 나서는요? 이제 더 나쁜 피드백이 생기는거예요. 그들은 NRF같은 국가과제들을 받게되겠죠.

여기서 (약탈적 학술지의) 창의적인 경제가 끼어드는거죠. 그들은 NRF 펀딩으로 약탈적 학술지에 논문을 내는 돈을 커버할꺼고, 그래서 대부분의 저자들은 사실상 약탈적 학술지에 돈을 하나도 안내죠. 그러면 여기서 대학교는요? 물론 그들에게 훌륭한 연구장려금을 주게될거고, (중략) 이러한 일들은 반복되겠죠. 정부관계자는 기뻐하겠죠, 연구성과가 굉장해 보이니까요.

그렇지만 여기서 거대한 세금이 쓰이는거죠..

우리가 이런 걸 어떻게 막을수 있을까요? 시작점은 아마 다른 수학자 친구들에게 이걸 알리는걸거예요. 그래서 내가 이 익명 메일을 보내는거구요.

원문은 영어인데, 메일 보낸사람이 정말 외국인인지는 확실치 않다. 여튼 MDPI등의 곳에서 약탈적 학술지로 저런 창의적인 방식으로 돈을 버는 경우가 있다는 것 -_-.

이러한 약탈적 학술지에 목매는 현상은 어찌보면 후진적인 과제평가 기준때문인데, 대부분의 정부과제에서는 임팩트팩터를 굉장히 중요시한다. 근데 수학에서 임팩트팩터가 1 넘는 학술지가 거의 없는데, 1을 꼭 넘기길 요구하는 경우가 잦다. 심지어 CS계열은 학술지보다 학회가 우선인데, 학회는 임팩터팩터가 없으니 아예 성과로 인정하지 않는 경우도 있다. 이전에 몸담았던 암호학 계열은 가장 좋은 학술지로 꼽히는 Journal of Cryptology의 임팩트팩터가 고작 1 근처이다.

결국 연구자들은 울며 겨자먹기로 임팩트팩터가 높은 저널을 탐색하고, 해답으로 나오는게 큰 학술회의 메가저널인 PLOS ONE이나 Scientific Report, IEEE Access등에 (가끔은 더 발전시킬 여지가 보이는) 적당한 결과를 내거나, 약탈적 학술지에 (종종 약탈적인것도 정확히 모르고) 내는것이다.

좀 더 성과를 정성적으로 봐주면 좋을텐데, 그것도 그것 나름의 나쁜점이 생길테니 -_- 쉽지않은 문제다.

2021.02.15 추가: MDPI의 저널이 모두 약탈적이라는 것은 아니다. 다만 건실하고 전통적인 학회지들에 비해 MDPI의몇 저널들이 약탈적이라는 말을 듣거나, 퀄리티가 낮거나 pseudo-science라고 불리는 논문들도 받는다는 논란이 큰 편이라는 것. 위키페이지를 참조하면 좋다.

인간이 만든 물질이 생명체의 무게보다 무거워진다

작년 말 Nature지에 실린 이스라엘 연구자들의 놀라운 결과: 우리 시대가 바로 인위적 물질이 생명체의 무게보다 더 많아지는 시대이다! 저자들에 따르면 2020년 출판 시점 즈음을 기준으로 생명체의 물질 중 수분을 제외한 질량(biomass)보다 인류가 생산한 물질들의 질량(Human-made mass, or anthropogenic mass)이 더 크다고. 인간이 환경에 미치는 영향이 크다고는 하지만 이걸 들으니까 그냥 놀랍네 -_- 그냥 거칠게 생명체 전체만큼 영향을 주고있다는 것 아닌가.

이 논문에 소개된 다른 논문에 따르면 이미 3천년 전 쯤부터 인류가 지구의 환경에 거대한 영향을 미치고 있었다고 [출처: 재작년 Science 논문]. 지금은 그 거대와 비교도 할 수 없을정도로 거대한 영향을 미치고 있을 테니, 지구온난화가 괜히 걱정되기도 한다 -_-. 아래 두 그림은 논문에서 따온 그래프. 다행히도(?) 수분을 더하면 이 역전의 시간은 꽤나 남았다고.

Image
Image

DALL·E: 인공지능을 이용한 이미지/그림 생성

며칠 된 떡밥이지만 기록삼아 남겨둔다. 얼마전 GPT-3 (블로그의 지난글 1지난글 2지난글 3)를 발표한 OpenAI에서 GPT-3를 이용해서 줄글로 적힌 설명을 통해 이미지와 그림을 만드는 인공지능 DALL·E를 개발했다고 한다. MIT Technology Review의 기사. Zariski님이 소개했듯 이제 한글 기사도 볼수있다 ㅋ

말보다는 그림으로 보는게 좋을듯하다. OpenAI의 소개페이지에 가면 이것저것 실험해 볼 수 있다. 아무렇게나 입력할 수는 없고, 주어진 선택지에서 골라야하긴 한다. 아래에 몇 개의 예시가 있다. 밑줄 친 볼드로 되어있는 글자들이 수정할 수 있는 부분. 꽤나 창의적이기도 하다 ㅋㅋ. 사실 이걸 보기보다는 직접 소개페이지에서 하나씩 조정해보는걸 추천. 재미있다 ㅋㅋ

Image
초록각형 시계. 근데 오각형이 아닌게 더 많은데 -_-?
Image
데님으로 만든 큐브
Image
아기 여우초록 모자, 초록 글러브, 노란 셔츠, 파란 바지를 입은 이모티콘. 나보다는 확실히 엄청 잘 그린다 ㅋㅋ
Image
에 앉아있는 독수리클로즈업 뷰
Image
거울에서 자기 자신을 보는 골든리트리버의 모습 (거울의 각도 조절가능). 딱히 정확하진 않지만 거울 비슷한걸 하긴 한다 ㅋㅋ
Image
검정 호박의 모습이 있는 아이폰 앱 아이콘
Image
사과로 만든 공작. 와, 몇개는 진짜 사과로 조각한것 같다.
Image
아모카도 모양안락의자. MIT Tech Review에서는 이걸 메인 사진으로 썼다. 굉장히 잘 나온듯 ㅋㅋ
Image
정장을 입고 차를 타는 아보카도. 잘그린다 ㅋㅋㅋ

굉장히 잘 한다 ㅋㅋㅋㅋ 나보다 훨씬 창의적인 면도 보인다. 정말 곧 그림이나 간단한 사진정도는 인공지능이 만들어줄지도.

말주변 vs 전문성

작년 말 설민석씨의 세계사 강의의 정확성과 전문성에 대한 큰 논란이 있었다. [조선일보 기사] 이전에도 (손찬이! 등등으로..) 말이 많던 분인데, 말하는 내용의 참 거짓과 별개로 청중의 만족도가 높았으니 여러 TV프로에도 나오는 등 인기를 끌었을 것이다.

그렇다면 과연 사람들의 전문적인 강의로 흥미를 이끄는데 말주변의 영향이 얼마나 클까? 당연히 엄청나게 클테지만, 꽤나 전문적인 집단을 상대로 하는 강의는 어떨까?

놀랍게도 전문적인 사람들을 대상으로 하는 강의에서도 전문성이 전혀 없더라도 말주변이 좋으면 청중들이 굉장히 만족한다고 한다 ㅡㅡ! The Doctor Fox Lecture라는 이름의 실험/논문으로 구체적으로 시도해보았다고. 사실 좀 넓은 분야를 다루는 학회에 가면 서로 잘 모르는 주제들에 대해 얘기하니 그럴듯도 하지만 (그러니 약탈적 저널/학회가 어떻게든 돌아가는 것일듯 -_-) 실제로 확인한 것이 재미있다.

아래는 대충 논문에서 소개한 실험의 요약. SF작가 이산화님의 트위터 글에서 논문을 알게되었음을 밝힘.


충분히 인상적인 강의 방법을 이용하면 숙련된 청중도 전혀 관계없거나,
모순되거나 심지어는 틀린 내용을 듣는다고 해도 만족감을 느낄것이다

라는 가설에 입각해 저자는 프로 연기자를 고용해서 Dr. Myron L. Fox라는 이름의 학자, 수학을 인간행동(Human behavior)에 응용하는 분야의 권위자를 흉내내도록 하고, 인상적인 가짜 CV를 제공해 굉장히 숙련된 교육자집단에 강의를 하도록 했다고 한다.

강의 방법은 수업형식으로 선택하고, 주제는 의사 교육에 적용하는 수학적 게임이론 (Mathematical Game Theory as Applied to Physician Education) 으로 정했다. 세부사항은 다음과 같다.

  • 그의 강의 컨텐츠는 청중들이 이해할 수 있을 정도지만 꽤 복잡한 논문을 기반으로 만들어졌다.
  • 하지만 강의자는 특히 질답시간에 다음을 굉장히 많이 말하도록 코칭했다고 한다.
    • 앞뒤가 안맞는 말(double talk),
    • 신조어(neologism),
    • 불합리한 추론(non sequitur),
    • 모순된 의견들(contradictory statements)
  • 다만 이들은 농담이나 관계없는 주제에 대한 의미없는 참조 문헌과 마구 섞여있었다고 한다.

이러한 강의를 세 그룹에 다른 방식으로 했는데, 대충 다음과 같다.

  • 강의훈련을 위한 학회(teaching training conference)로 모인 7명의 정신과의사, 심리학자와 사회복지사 교육가 집단. 1시간의 강의(!!)와 30분의 이어지는 토론시간(!!)을 거쳐 진행되었다고 한다. 이 발표와 논의는 녹화되어 다른 그룹에게 제공되었다고.
  • 11명의 정신과의사, 심리학자, 정신의학 교육자, 정신 장애자를 위한 사회사업가를 모은 자리에서 비디오를 틀어주었다고.
  • 21명의 석사를 포함한 33명의 교육자 등을 모은 집단에게도 한번 보여주었다고 한다.

그리고 강의 이후 익명의 설문지를 돌렸고, 그 결과는 다음과 같다고.

Image

놀랍게도 1명은 저자의 논문을 읽어보았다고 답변했다 ㅋㅋㅋㅋ없는데… 여튼 연기자의 가짜 발표는 최소한 주제를 흥미롭게 소개하고, 청중들의 관심은 확실히 끌었던 듯 하다.

물론 얼마나 믿을수 있는 결과인지는 모르겠다 ㅋㅋㅋ 대충 들어와서 그냥 있다가 나가는사람들도 종종 있고.. 그리고 청중들이 완전히 잘 알지는 못하는 주제로 했으니 어떻게든 되었겠지. 아마도 수학 렉쳐 한시간짜리는 안되지 싶다 ㅋㅋ