Aulee如何部署Shadowsocks-rust和Cloak
前言无庸讳言，Shadowsocks是一款优异的穿墙利器。首先，作为开源项目，用户无需为其软件付费，只需要承担租赁虚拟主机的硬件成本。其次，该软件小巧灵活，布署简单，非常适合个人用户独立架设使用。也因此不用涉及虚拟主机之外的任何其他第三方的网络服务提供商，在数据安全方面更有保证。 现在网上常见的shadowsocks在Ubuntu上的部署教程大多基于shadowsocks-libev。问题在于，shadowsocks-libev已停止开发，仅仅处于维护状态，相关开发已移向shadowsocks-rust。正如在其github的README文件中说的：Bug-fix-only libev port of shadowsocks. Future development moved to shadowsocks-rust抵抗网络封锁是一场需要不断进行技术升级的猫鼠游戏。在近日的使用中，我发现shadowsocks-libev已越来越频繁地出现服务中断、需要重启的状况。是时候迁移到Shadowsocks的下一代port——Shadowsocks-rust了！ 但是网上适合用户难度的、反映...
AuleeRust 能自动推断出所有的lifetime吗？
答： 不能。 我觉得前面的回答都不能解决这位题主的疑惑 。我想了一个有点绕的例子，来说明编译器是不能自动推断出generic lifetime的，因为可行的标注方法不只一种（楼上那个longest例子从逻辑上看似乎只剩下一种标注方法了，所以不具有足够的说服力）。 如下面定义的函数根据短字符串的长度来截取长字符串，该函数因为没有标注lifetime无法成功编译：fn cut_long_according_to_short(l: &str, s: &str) -> &str { let len = s.len(); &l[0..len] } 有两种不同的标注方法可以实现成功编译，编译器无法自动推断出该采用哪一个。 第一种比较宽松：fn cut_long_according_to_short<'a>(l: &'a str, s: &str) -> &'a str { let len = s.len(); &l[0..len] } 第二种比较严格：fn cut_long_according_to_s...
Aulee“批判现实主义”原来是“批判实在论”的意思
原来所谓“批判现实主义”对应的英文是critical realism。更正确的翻译是“批判实在论”。它和经验实在论（empirical realism）都是实在论。二者都认为有独立于主观的客观世界存在。 批判实在论认为实在是分层的，包括经验层，事实层和深层。马克思和老年哈耶克属批判实在论这一派。 而现代以均衡为主要概念，讲求所谓实证检验的新古典经济学属于经验实在论这一派，这一派认为经验之外没有其他更深层次的实在了。 与实在论相对的是反实在论（anti-realism）的各派，包括唯心主义（idealism）派，现象学派（phenomenalism），唯我主义（Solipsism）派，虚无主义(Nihilism)派等。 所以本来“批判现实主义”是个很学术的哲学词，传到我们这个农民国家，变成了专门指代批判文学的政治味浓厚的词。一提这个词就让人想到苦大仇深的旧社会。
Graduated as a PhD of Business Administration (Finance), developing into an independent researcher of cryptos, DeFi, and monetary economics
Support Aulee
Aulee读书笔记：签名与验证
Subscribe to Aulee
Support Aulee
Aulee读书笔记：签名与验证
Aulee如何部署Shadowsocks-rust和Cloak
前言无庸讳言，Shadowsocks是一款优异的穿墙利器。首先，作为开源项目，用户无需为其软件付费，只需要承担租赁虚拟主机的硬件成本。其次，该软件小巧灵活，布署简单，非常适合个人用户独立架设使用。也因此不用涉及虚拟主机之外的任何其他第三方的网络服务提供商，在数据安全方面更有保证。 现在网上常见的shadowsocks在Ubuntu上的部署教程大多基于shadowsocks-libev。问题在于，shadowsocks-libev已停止开发，仅仅处于维护状态，相关开发已移向shadowsocks-rust。正如在其github的README文件中说的：Bug-fix-only libev port of shadowsocks. Future development moved to shadowsocks-rust抵抗网络封锁是一场需要不断进行技术升级的猫鼠游戏。在近日的使用中，我发现shadowsocks-libev已越来越频繁地出现服务中断、需要重启的状况。是时候迁移到Shadowsocks的下一代port——Shadowsocks-rust了！ 但是网上适合用户难度的、反映...
AuleeRust 能自动推断出所有的lifetime吗？
答： 不能。 我觉得前面的回答都不能解决这位题主的疑惑 。我想了一个有点绕的例子，来说明编译器是不能自动推断出generic lifetime的，因为可行的标注方法不只一种（楼上那个longest例子从逻辑上看似乎只剩下一种标注方法了，所以不具有足够的说服力）。 如下面定义的函数根据短字符串的长度来截取长字符串，该函数因为没有标注lifetime无法成功编译：fn cut_long_according_to_short(l: &str, s: &str) -> &str { let len = s.len(); &l[0..len] } 有两种不同的标注方法可以实现成功编译，编译器无法自动推断出该采用哪一个。 第一种比较宽松：fn cut_long_according_to_short<'a>(l: &'a str, s: &str) -> &'a str { let len = s.len(); &l[0..len] } 第二种比较严格：fn cut_long_according_to_s...
Aulee“批判现实主义”原来是“批判实在论”的意思
原来所谓“批判现实主义”对应的英文是critical realism。更正确的翻译是“批判实在论”。它和经验实在论（empirical realism）都是实在论。二者都认为有独立于主观的客观世界存在。 批判实在论认为实在是分层的，包括经验层，事实层和深层。马克思和老年哈耶克属批判实在论这一派。 而现代以均衡为主要概念，讲求所谓实证检验的新古典经济学属于经验实在论这一派，这一派认为经验之外没有其他更深层次的实在了。 与实在论相对的是反实在论（anti-realism）的各派，包括唯心主义（idealism）派，现象学派（phenomenalism），唯我主义（Solipsism）派，虚无主义(Nihilism)派等。 所以本来“批判现实主义”是个很学术的哲学词，传到我们这个农民国家，变成了专门指代批判文学的政治味浓厚的词。一提这个词就让人想到苦大仇深的旧社会。
<100 subscribers
<100 subscribers
我对 Programming Bitcoin 的第三章的后半部分——签名和验证——理解不够清楚。现结合书中这部分内容按照自己的理解来理一理逻辑线索。这个和书中所要传达的意思可能并不一致。所有错误归于我自己，与原书作者无关。
我们利用椭圆曲线来表达对某物的所有权关系。我们以椭圆曲线上的某个点P来代表某一物。可以理解P为打在某物上的不可撕毁和改变的标签。这个P被称为公钥，是每个人可见的。因为是二维平面上的曲线上的一个点，因此公钥P由横坐标和纵坐标的两个值构成。在椭圆曲线上，可以作为公钥的点必须满足一条性质，即其为曲线上一个特定的点G的倍数，即eG=P。G点是每个人都知道的，其坐标数值是公共知识。但是倍数e是私人知识。因为从P和G的数值推测出e的值是极为困难以至被认为是不可能的。这被称为“离散对数难题”（discrete log problem）。我们说知道e的值的人为P所代表的物的所有者。因为只有他能给出从G到P的确切的倍数，从而可以获得排他的所有权。e被称为私钥。
但是难点在于，e的所有者既要向人们证明他知道e，又不能向别人直接透露e,否则人人都可宣誓为P所代表的物的所有者，使e失去了证明排他所有权的能力。因此他需要一种间接的机制来证明。比如他可以向人们展示，他可从某一“随机”的R出发，经一定倍数到达P，即sR=P。而设若R也是G的倍数，即kG=R，则有skG=P，从而证明了他知道e=sk。他并不向人们直接展示k，而代以向人们展示R，否则他就暴露了e。因此所有者所发出的签名（signature）为(s, R)。其他人可以由此轻松验证sR=P，以确认其对e的知识，进而对P所代表的物的所有权。这真是个聪明的办法！
但是上述聪明的办法却存在一个致命的漏洞：s与R都是由签名者给出的，则R并不是任意给定的，而可能是以先射箭后画靶子的方式倒推出来的：R=P/s。此时所谓的验证就是在重复一个恒等式：s(P/s)≡P。为了解决这个问题，签名者转而向人们展示sR=rP。其中r为R的横坐标，即R=(r, y)。这个式子是难以随意捏造的。因为签名者通过不断调整s与R的值而恰好达到P的r倍是非常困难的，是与离散对数难题同等困难的难题。按照原书作者Jimmy Song的比喻，这相当于在射出箭之前，就在箭头镌刻了其射出后要降落的目标，从而证明了自己非凡的箭艺。在上述等式中，我们可以视等式左边的R为射出箭后实际达到的目标，而视等式右边的r为镌刻在箭头的目标。二者如能若合符节，即可视为提供了关于签名者对e的知识的证明(即在我们的比喻中证明了自己的箭艺)。为什么呢？因为当知道e时，找到(s, R)使得sR=rP是个轻松可解决的问题。我们可以选择任意的k以构建R：kG=R。这个k也是私人知识，不对外公布。同时，由于知道e，所以有eG=P。代入上面等式，有skG=reG。从而解得s=re/k。这样我们就得到了可以满足等式的签名数对(s, R)。但是在上述证明中我们尚待排除一种可能，即我们之所以在箭头镌刻r，是因为R这个目标是我反复练习过的，我有把握射中目标，我才将之刻上去！这样看来，我们在段首提出的漏洞并没有得到解决？！这种担心是多余的。因为，即使通过反复练习找到了符合等式的(s, R)数对，但反复练习的成本不仅极高，而且毫无用处，因为，尽管通过惊人成本的试错获得了对
至迟从17世纪英国哲学家洛克起，经济学界就已明确了对物的所有权产生自对物的支配权，即对物的消费、使用、买卖、处置等的权利。如果没有对物的支配权，则所有权就是空洞、抽象的因而是没有现实意义的。因此，对物的所有权一定要靠对物的支配权来体现。我们前面通过私钥、公钥对(e, p)所定义的所有权仍然是不包含支配权的空洞的所有权。现在，我们扩展sR=rP等式以体现对P所代表的物的支配。首先将上式移项，R=r/sP。然后在等式右侧加入新的一项，得R=r/sP+z/sG。其中z被称为签名哈希（signature hash），是对关于P所代表的物的一条信息的哈希值。这条信息可以是关于物的描述，或者是对物进行处置、交易的指令。对P所代表的物的支配权正是通过加入z来体现的。扩展之后，生成签名的流程是类似的。首先产生一随机的k，由此计算R=kG。然后依据上式计算s值：s=(re+z)/k。由此对外公布签名(s, R)。验证者使用此签名，和其他公开信息P和G，完成对等式的验证。这一验证达成了两项证明：一是证明了签名者对P所代表的物的所有权，二是证明了签名者（也即所有者）发出了关于物的信息z。这样，通过数字签名所实现的所有权关系就是包含了处置权的完整的所有权关系。注意在扩展模型里，每次签名都会随信息哈希值的不同而不同，这使得经过反复练习而能射中某一箭靶（即反复试错猜出一对能通过验证的签名）变得更不可行了。唯一的生成正确签名的途径是知道e。
k不能公开。如果k被公开，可以反解出私钥e=(sk-z)/r。
k不能重复使用。如果在两次签名中使用同一k。则有s_1=(re+z_1)/k, s_2=(re+z_2)/k,由此可反解出私钥e=(s_2z_1 - s_1z_2)/(rs_1-rs_2)。
以上两条说明k的“随机性”非常重要。一旦k被猜中，私钥即被暴露。所以书中介绍了一种提供确定性的k的算法，k取决于私钥e和签名哈希z。因此每个人的每次签名都会得到不同的k。
上述所有的代数运算都是模运算（modulo arithmetic）。在模运算中任何加减乘除的运算，结果都是小于模所规定的质数的整数。比如说，求逆的运算使用到费马小定理（Fermat’s Little Theorem）：k^(-1)=k^(n-2) % n，所得结果仍为同一域（field）内的整数。
进行对整数的模运算有两个好处。首先计算机不擅长处理无穷小数。而有限小数不能构成一个域。有限小数间的乘除运算并不总是有限小数。其次只有当椭圆曲线上的点是模运算的整数时，对点的数乘才能产生出类似随机性的跳跃性，才能产生出数乘的非对称性，从而制造出可以利用的离散对数难题。
在比特币所使用的椭圆曲线密码体系secp256k1中，实际包含了两组模运算。一组是椭圆曲线上的点的加减运算中涉及的模运算。这组模运算的质数为p=2^256-2^32-977，其10进制数值为： 115792089237316195423570985008687907853269984665640564039457584007908834671663
另一组模运算为与椭圆曲线上的点的数乘相对应的系数的模运算。由于数乘序列{G, 2G, 3G, 4G, …, nG}是一个周期为n
Song, Jimmy. Programming bitcoin: Learn how to program bitcoin from scratch. O'Reilly Media, 2019.
我对 Programming Bitcoin 的第三章的后半部分——签名和验证——理解不够清楚。现结合书中这部分内容按照自己的理解来理一理逻辑线索。这个和书中所要传达的意思可能并不一致。所有错误归于我自己，与原书作者无关。
我们利用椭圆曲线来表达对某物的所有权关系。我们以椭圆曲线上的某个点P来代表某一物。可以理解P为打在某物上的不可撕毁和改变的标签。这个P被称为公钥，是每个人可见的。因为是二维平面上的曲线上的一个点，因此公钥P由横坐标和纵坐标的两个值构成。在椭圆曲线上，可以作为公钥的点必须满足一条性质，即其为曲线上一个特定的点G的倍数，即eG=P。G点是每个人都知道的，其坐标数值是公共知识。但是倍数e是私人知识。因为从P和G的数值推测出e的值是极为困难以至被认为是不可能的。这被称为“离散对数难题”（discrete log problem）。我们说知道e的值的人为P所代表的物的所有者。因为只有他能给出从G到P的确切的倍数，从而可以获得排他的所有权。e被称为私钥。
但是难点在于，e的所有者既要向人们证明他知道e，又不能向别人直接透露e,否则人人都可宣誓为P所代表的物的所有者，使e失去了证明排他所有权的能力。因此他需要一种间接的机制来证明。比如他可以向人们展示，他可从某一“随机”的R出发，经一定倍数到达P，即sR=P。而设若R也是G的倍数，即kG=R，则有skG=P，从而证明了他知道e=sk。他并不向人们直接展示k，而代以向人们展示R，否则他就暴露了e。因此所有者所发出的签名（signature）为(s, R)。其他人可以由此轻松验证sR=P，以确认其对e的知识，进而对P所代表的物的所有权。这真是个聪明的办法！
但是上述聪明的办法却存在一个致命的漏洞：s与R都是由签名者给出的，则R并不是任意给定的，而可能是以先射箭后画靶子的方式倒推出来的：R=P/s。此时所谓的验证就是在重复一个恒等式：s(P/s)≡P。为了解决这个问题，签名者转而向人们展示sR=rP。其中r为R的横坐标，即R=(r, y)。这个式子是难以随意捏造的。因为签名者通过不断调整s与R的值而恰好达到P的r倍是非常困难的，是与离散对数难题同等困难的难题。按照原书作者Jimmy Song的比喻，这相当于在射出箭之前，就在箭头镌刻了其射出后要降落的目标，从而证明了自己非凡的箭艺。在上述等式中，我们可以视等式左边的R为射出箭后实际达到的目标，而视等式右边的r为镌刻在箭头的目标。二者如能若合符节，即可视为提供了关于签名者对e的知识的证明(即在我们的比喻中证明了自己的箭艺)。为什么呢？因为当知道e时，找到(s, R)使得sR=rP是个轻松可解决的问题。我们可以选择任意的k以构建R：kG=R。这个k也是私人知识，不对外公布。同时，由于知道e，所以有eG=P。代入上面等式，有skG=reG。从而解得s=re/k。这样我们就得到了可以满足等式的签名数对(s, R)。但是在上述证明中我们尚待排除一种可能，即我们之所以在箭头镌刻r，是因为R这个目标是我反复练习过的，我有把握射中目标，我才将之刻上去！这样看来，我们在段首提出的漏洞并没有得到解决？！这种担心是多余的。因为，即使通过反复练习找到了符合等式的(s, R)数对，但反复练习的成本不仅极高，而且毫无用处，因为，尽管通过惊人成本的试错获得了对
至迟从17世纪英国哲学家洛克起，经济学界就已明确了对物的所有权产生自对物的支配权，即对物的消费、使用、买卖、处置等的权利。如果没有对物的支配权，则所有权就是空洞、抽象的因而是没有现实意义的。因此，对物的所有权一定要靠对物的支配权来体现。我们前面通过私钥、公钥对(e, p)所定义的所有权仍然是不包含支配权的空洞的所有权。现在，我们扩展sR=rP等式以体现对P所代表的物的支配。首先将上式移项，R=r/sP。然后在等式右侧加入新的一项，得R=r/sP+z/sG。其中z被称为签名哈希（signature hash），是对关于P所代表的物的一条信息的哈希值。这条信息可以是关于物的描述，或者是对物进行处置、交易的指令。对P所代表的物的支配权正是通过加入z来体现的。扩展之后，生成签名的流程是类似的。首先产生一随机的k，由此计算R=kG。然后依据上式计算s值：s=(re+z)/k。由此对外公布签名(s, R)。验证者使用此签名，和其他公开信息P和G，完成对等式的验证。这一验证达成了两项证明：一是证明了签名者对P所代表的物的所有权，二是证明了签名者（也即所有者）发出了关于物的信息z。这样，通过数字签名所实现的所有权关系就是包含了处置权的完整的所有权关系。注意在扩展模型里，每次签名都会随信息哈希值的不同而不同，这使得经过反复练习而能射中某一箭靶（即反复试错猜出一对能通过验证的签名）变得更不可行了。唯一的生成正确签名的途径是知道e。
k不能公开。如果k被公开，可以反解出私钥e=(sk-z)/r。
k不能重复使用。如果在两次签名中使用同一k。则有s_1=(re+z_1)/k, s_2=(re+z_2)/k,由此可反解出私钥e=(s_2z_1 - s_1z_2)/(rs_1-rs_2)。
以上两条说明k的“随机性”非常重要。一旦k被猜中，私钥即被暴露。所以书中介绍了一种提供确定性的k的算法，k取决于私钥e和签名哈希z。因此每个人的每次签名都会得到不同的k。
上述所有的代数运算都是模运算（modulo arithmetic）。在模运算中任何加减乘除的运算，结果都是小于模所规定的质数的整数。比如说，求逆的运算使用到费马小定理（Fermat’s Little Theorem）：k^(-1)=k^(n-2) % n，所得结果仍为同一域（field）内的整数。
进行对整数的模运算有两个好处。首先计算机不擅长处理无穷小数。而有限小数不能构成一个域。有限小数间的乘除运算并不总是有限小数。其次只有当椭圆曲线上的点是模运算的整数时，对点的数乘才能产生出类似随机性的跳跃性，才能产生出数乘的非对称性，从而制造出可以利用的离散对数难题。
在比特币所使用的椭圆曲线密码体系secp256k1中，实际包含了两组模运算。一组是椭圆曲线上的点的加减运算中涉及的模运算。这组模运算的质数为p=2^256-2^32-977，其10进制数值为： 115792089237316195423570985008687907853269984665640564039457584007908834671663
另一组模运算为与椭圆曲线上的点的数乘相对应的系数的模运算。由于数乘序列{G, 2G, 3G, 4G, …, nG}是一个周期为n
Song, Jimmy. Programming bitcoin: Learn how to program bitcoin from scratch. O'Reilly Media, 2019.
PePnn=0xfffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364141115792089237316195423570985008687907852837564279074904382605163141518161494337注意n和p这两个巨大的数虽然接近，但并不相同。在编程实现中，特别容易混淆两组模运算而发生错误。
PePnn=0xfffffffffffffffffffffffffffffffebaaedce6af48a03bbfd25e8cd0364141115792089237316195423570985008687907852837564279074904382605163141518161494337注意n和p这两个巨大的数虽然接近，但并不相同。在编程实现中，特别容易混淆两组模运算而发生错误。
Share Dialog
Share Dialog
No activity yet