#min-plus-semiring

Chen–Grigoriev–Shpilrain의 트로피컬 다항식 기반 서명 스킴이 어떻게 깨지는지 추적한 기록. formal vs functional equality, 트로피컬 나눗셈의 비유일성, 그리고 한 줄짜리 위조 공격까지.