Take zoos as an example, hardcore science zkSync circuit working principleOriginal Author: Haotian (X:@tme l0 211)
Many people watched the @zkSync The new zoo science graphics and texts are confused, comparing the zoo to a circuit, treating animals with special skills as a "logic gate", and taking a happy photo of animals as a "proof", so that the data input into the circuit does not disclose the specific content, after a series of complex calculations, a proof is generated, and a Zero-Knowledge Proof process is completed. Come on, I'll try hardcore science:
1) The zoo corresponds to the "circuit", which is actually an aggregation of a series of logic gate constraints (formulas for addition, subtraction, multiplication, division, etc.), which is equivalent to a concentrated representation of the abilities of all animals, and it is also the basic element of the computer. Therefore, the "data" passed into the circuit must be set into various formulas to be executed.
In
星球日报·2024-03-04 03:29