ZKPs is a method that allows a person—looking to verify themselves—to answer statements in a manner that establishes trust to the verifying party without unveiling personal or secret information. Take, for example, the problem of 4+4=8. This is something the person looking to be verified knows to be true, but the ZKP method relies on trust. Instead of asking is 4+4=8, the verifier asks a series of questions to determine if the person wanting to be verified is telling the truth (or in this case, knows that to be true). The verifier can ask is 4+4=7; is the sum of 4+4 an even number, and so on and so forth, and after the series of questions, it can determine the veracity of the person’s claims, thereby identifying them.
In addition, the U.S. can’t simply turn all of its crude oil into gasoline. That’s because most of the oil produced in the U.S. is light, sweet crude, and refineries on the East and West coasts are primarily designed to process heavier, sour crude. As a result, the U.S. exports some of its crude oil and imports some refined products such as gasoline.
，这一点在新收录的资料中也有详细论述
Because my array allocator knows the length of the array I never need to
The one but not the only