log☇︎
25 entries in 0.627s
asciilifeform: found) only consumes roughly as many random bits as the size of the output primes, but we can show that its output distribution, even if it can be shown to have high entropy if the prime r-tuple conjecture holds, is also provably quite far from uniform... It is likely that most algorithms that proceed deterministically beyond an initial random choice, including those of Joye, Paillier and Vaudenay... ...or Maurer... exhibit similar d
asciilifeform: btw i've been trying to come up with useful scheme standing on paillier, for >decade now, and if mircea_popescu writes one, i promise to read it.
mircea_popescu: in other words : paillier in UCI over gossipd seems capable of bignum.
asciilifeform: this dun work with paillier. or any other known scheme.
asciilifeform: paillier adds, that's all it does.
mircea_popescu: but does paillier add ?
asciilifeform: problem is that paillier dun multiply. or turingate at all.
asciilifeform: based on the most obvious scheme, that i toyed with as a student, paillier (see oooooold l0gz)
assbot: 15 results for 'paillier' : http://s.b-a.link/?q=paillier
asciilifeform: !s paillier
ascii_field: trivial example being paillier's algo
assbot: Javascript Paillier demo page ... ( http://bit.ly/1KyrGVS )
assbot: mikeivanov/paillier · GitHub ... ( http://bit.ly/1KyrCFy )
ascii_field: mats: https://github.com/mikeivanov/paillier << example
mats: got a link/name to paillier paper(s)?
ascii_field: mats: see work of paillier et al
assbot: 7 results for 'paillier' : http://search.bitcoin-assets.com/?q=paillier
asciilifeform: !s paillier
asciilifeform: incidentally, the 'we want an0nym1ty!!1' folks could be satisfied - use paillier's arithmetic to represent balances. so you need private key to know the state of an address.
asciilifeform: benkay: "homomorphic or semi-homomorphic" encryption, where 3 parties each control << this is an entire science. see, for instance, Pascal Paillier's boojum.
cads: okay, so in our Paillier OISC we'd use subtract and branch of != 0, or subtract and branch if <= 0.
ozbot: Paillier cryptosystem - Wikipedia, the free encyclopedia
asciilifeform: http://en.wikipedia.org/wiki/Paillier_cryptosystem
asciilifeform: cads: i reinvented the concept, as probably just about every maths student has, when first reading about Paillier's Addition and thinking 'what if you glue this to OISC - 'jump if zero' - machine.
mircea_popescu: paillier*