Jonas Nick
@n1ckler
Bitcoin research @Blockstream. @nixbitcoinorg maintainer. Former bitcoin/secp256k1, @donnerlab1 contributor
36C7 1A37 C9D9 88BD E825 08D9 B1A7 0E4F 8DCD 0366
๊ฐ์
April 2013
763 ํ๋ก์ ์ค 10.7K ํฌ
โฆ it comes with a Lean proof ๐
์ธ๊ธฐ ์๋ ์ฌ์ฉ์
