Zero-knowledge Proof
1998 - Jean-Jacques, Louis - How to Explain Zero-Knowledge Protocols to Your Children.pdf
Zero Knowledge Proofs: An illustrated primer – A Few Thoughts on Cryptographic Engineering
- “Thus if the amount of information I can extract is identical in the ‘real experiment’ and the ’time machine experiment’, yet the amount of information Google puts into the ’time machine’ experiment is exactly zero — then this implies that even in the real world the protocol must not leak any useful information.”
Zero Knowledge Proofs: An illustrated primer, Part 2 – A Few Thoughts on Cryptographic Engineering
“We’re asking that a protocol be both sound — meaning that a bogus Prover can’t trick some Verifier into accepting a statement unless it has special knowledge allowing it to prove the statement — but we’re also asking for the existence of an algorithm (the simulator) that can literally cheat. Clearly both properties can’t hold at the same time. The solution to this problem is that both properties don’t hold at the same time. "
“A knowledge extractor (or just ‘Extractor’ for short) is a special type of Verifier that interacts with a Prover, and — if the Prover succeeds in completing the proof — the Extractor should be able to extract the Prover’s original secret.”
“The Extractor is not required to exist during a normal run of the protocol.”
“零知识证明是打通链上数据与链下计算的关键技术，也是实现链上数据隐私保护的重要途径”
“证明不仅仅是一个严格推理，而且凝结了似乎很难机械化的创造性思维。证明中蕴含了大量的「知识」，每一次的突破，都将我们的认知提升到一个新的高度。”
Blockchain
The Schnorr/Taproot proposal is now published as BIPs 340, 341, and 342
How the Nervos CKByte Gets its Value
This is a core question for any decentralized project, and it’s one we’ve thought carefully about in designing the CKByte as the protocol token of the Nervos Network. Ultimately, we believe a token’s value is derived from its core function or utility.
Sunsetting Mist - Alex Van de Sande - Medium
Why Mist team no longer builds a single app
以太坊二层扩容之路：Plasma 衰落与 Rollup 崛起 - 链闻 ChainNews
“第一个问题是， 每个用户 必须监控和验证 Plasma MVP 链上的所有交易，以检测恶意运营商的行为并及时退出。然而，事务验证成本高昂，并且这种监视需求为参与 Plasma 链增加了大量开销。”
“考虑到 Plasma 链可以任意增长，而以太坊区块已经接近其容量，几乎不可能将整个 Plasma 链倾倒到以太坊的主网上。因此，几乎可以肯定的是，大量退出会把以太坊挤爆。这就是所谓批量退出问题。”
COVID-19
“This hub page will house all articles, comments, and editorial…
Noisy Turtle (@NoisyTurtle2600): Updated Wuhan #2019-nCoV cases compared with other viruses. I managed to find some numbers on MERS, but that disease didn’t rapidly rise from 100 like Wuhan, SARS and Swine Flu has. Lower cases and higher fatality rate makes that more like the two Ebola viruses (EVD). Tweet
方舟子 (@fangshimin): 《柳叶刀》总编呼吁媒体不要夸大2019新型肺炎的危害，因为根据现在掌握的情况该新型病毒只有中等的传染性和较低的致病性，没必要夸大其词制造恐慌。Tweet
Dayomoses (@Dayo_Moses): 没错，不要小看明星后援会的组织能力和能动性，既有经验又有决心，在统筹分配方面有效率多了。Tweet
Remote and Management
[Workflow Guide] Accomplish Your Big Goals With Don’t Break the Chain
Don’t Break the Chain (or The Seinfeld Method) is a productivity strategy coined after comedian Jerry Seinfeld. Curiously, he’s claimed to have no part in its inception. The productivity method commits you to completing a daily goal for an extended period of time.
How to collaborate across time zones
My team is spread across four states and three time zones. People often ask me how we find good times to meet. My answer: it’s not easy, but it’s also rarely necessary. Working remotely, especially when your team is distributed across the globe, means working asynchronously. And it’s a skill.
How to Create A Remote Work Routine That Works
- “Changing locations once in a while can jumpstart creativity and productivity!”
Remote Projects 101: The Remote Guide to Project Management | Twist
Programming
Zcash rewrote using Rust
Websockets in Tide
Building a Functional Core in Elixir
That’s right, I’m that guy that reads a book multiple times. The first time I go through because I’m excited and inspired about some topic, and I don’t want to lose the momentum by putting the book down — without regard for the author’s advice to do just that.
It was a late evening. My colleague has just checked in the code that they’ve been writing all week. We were working on a graphics editor canvas, and they implemented the ability to resize shapes like rectangles and ovals by dragging small handles at their edges.
Trace-Driven Development
The Throw Keyword was a Mistake
Exception Handling Decades ago when a program crashed you would see a dire error message This meant that something horrible had happened. Usually the problem was the software tried to read or write some memory outside its address space.
- “A problem is said to be NP-hard if everything in NP can be transformed in polynomial time into it, and a problem is NP-complete if it is both in NP and NP-hard.”
“NP is the set of decision problems for which the problem instances, where the answer is “yes”, have proofs verifiable in polynomial time.”
There exists a verifier which can checks a solution is correct in polynomial time.
“the complexity class co-NP for which the answer “no” can be verified in polynomial time.”
Verifier which checks the answer is wrong in polynomial time
Other Readings
The Art of Manliness’s Brett McKay on How He Stays Productive
“Laser Mode” on your Mac — make your workspace distraction-free with a simple keystroke.
How much longer will we trust Google’s search results?
Happy Friday to you! I have been reflecting a bit on the controversy du jour: Google’s redesigned search results. Google is trying to foreground sourcing and URLs, but in the process it made its results look more like ads, or vice versa.
“这里面最严重的问题是：信任。货源是否可信，需求端是否可信，节点是否可信，大量的时间和精力花在了"确认"这个看起来简单的动作上面。因为自组织的方式聚起了弱连接的一帮人，信任度很难建立，也没有权威的可信第三方来实现"双向确认”，这导致大量的无交易和浪费，等待。虽然理论上我们知道这是没有价格指引下，去中心化协作的千古难题，但我们依然不得不经历这一切。”
“任何命运赐予的礼物，都在暗中标好了价格”
I learned how to read my coworkers from an FBI spymaster - Work Life by Atlassian
“trust is less about integrity and more about predictability”
“Just because I like you doesn’t mean I can trust you”
“Dreeke also places a high value on competence.”
“Finally, look for signs that they’re keen to help you be successful.”
Elinor Ostrom and the solution to the tragedy of the commons | American Enterprise Institute - AEI