Tezos is a decentralized blockchain that governs itself by establishing a true digital commonwealth. It facilitates formal verification, a technique which mathematically proves the correctness of the code governing transactions and boosts the security of the most sensitive or financially weighted smart contracts.

If your Reddit account is less than 21 days old, or your comment karma is less than 20, your posts will automatically be embargoed by the automoderator robot for manual approval by moderators. It is not an indication that you have been censored.

The pvss module was recently merged and lives in lib_crypto. Current plan is that each of the 32 endorsers gets an encrypted share of the seed_nonce, and there needs to be a threshold of 10 of them to reveal it in the next cycle.

Why 10? If the threshold is too low, there's a risk that a malicious baker with a large number of rolls could gain knowledge of all the nonces *and* control the last nonce commitment in the cycle. If the threshold is too high, there's a risk that a malicious baker could prevent the revelation of a nonce.

If you graph it out, 10 / 32 is a bit of bit of a Goldilock's value, making both probability fairly negligible, even for attackers with ~40% of the network.