- “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.”
“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.”
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.
Why Mist team no longer builds a single app
“第一个问题是， 每个用户 必须监控和验证 Plasma MVP 链上的所有交易，以检测恶意运营商的行为并及时退出。然而，事务验证成本高昂，并且这种监视需求为参与 Plasma 链增加了大量开销。”
“考虑到 Plasma 链可以任意增长，而以太坊区块已经接近其容量，几乎不可能将整个 Plasma 链倾倒到以太坊的主网上。因此，几乎可以肯定的是，大量退出会把以太坊挤爆。这就是所谓批量退出问题。”
“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
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.
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.
- “Changing locations once in a while can jumpstart creativity and productivity!”
Zcash rewrote using Rust
Websockets in Tide
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.
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.”
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
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.
“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.”