I’ve been diving beyond my comfort level into the rabbit hole of "Reduced Binary Seed" bootstrap of Unix. Why? There is far too much code to security audit, so any reduction of audit surface makes it easier. <a href="http://joyofsource.com/reduced-binary-seed-bootstrap.html">http://joyofsource.com/reduced-binary-seed-bootstrap.html</a>

← @ChristopherA Twitter archive

Christopher Allen

@ChristopherA

I’ve been diving beyond my comfort level into the rabbit hole of "Reduced Binary Seed" bootstrap of Unix. Why? There is far too much code to security audit, so any reduction of audit surface makes it easier. http://joyofsource.com/reduced-binary-seed-bootstrap.html

7/25/2019, 11:19:06 AM

Favs: 6

Retweets: 0

link

Christopher Allen

@ChristopherA

Interesting, some of these approaches toward "Reduced Binary Seed" make use of minimized Scheme, which is also a potential target for Russel O’Connor’s of @Blockstream’s provable Simplicy toolchain, which can maybe probably secure each of the Scheme atoms. https://twitter.com/christophera/status/1073713691160338432?s=21

7/25/2019, 11:23:59 AM

Favs: 3

Retweets: 0

link

Christopher Allen

@ChristopherA

I’m not suggesting that Russel’s Simplicity toolchain is for securing Unix bootstrap, instead focus is to secure future blockchain script languages. However, it does seem that it too can support Scheme-like script atoms, and lessons from it could be leveraged beyond blockchains.

7/25/2019, 11:36:45 AM

Favs: 1

Retweets: 0

link