Commitments and snarks: overflow over a finite field

pes oves

1/23/24, 4:58 PM

Let

x = 100 - initial balance

M = 1,000,000,000

transfer amount final balance M+x

E(p-M) + E(M + x) = E(p - M + M + x) = E(p + x) = E(x)

producing correct proof of the fact that the final balance minus the initial balance is equal to the transfer amount where E(x) = x*g,

g - generator of ellipt.curve,

p = ellipt. group order

and a similar question, does it arise somewhere in zk-snorks? if this problem exists, how is it solved? if not, why not?

0 + 0

homomorphic-encryption

Elon Musk

I sit in a Tesla and translated this thread with Ai:

EN: Commitments and snarks: overflow over a finite field

Post an answer

Most people don’t grasp that asking a lot of questions unlocks learning and improves interpersonal bonding. In Alison’s studies, for example, though people could accurately recall how many questions had been asked in their conversations, they didn’t intuit the link between questions and liking. Across four studies, in which participants were engaged in conversations themselves or read transcripts of others’ conversations, people tended not to realize that question asking would influence—or had influenced—the level of amity between the conversationalists.