Estoy bastante seguro de que entiendo cómo funcionan los acumuladores criptográficos para anonimizar el historial de una moneda, por ejemplo, como se describe aquí: https://anoncoin.net/Cryptographic_accumulator/ pero he leído que ZCash también anonimiza el valor de una moneda. Presumiblemente, esto significa que, de alguna manera, la moneda y su valor se depositan de alguna manera en el acumulador. ¿Cómo se hace esto? ¿Es solo un hash adicional de la serie de monedas y el valor, o algo más elaborado/mejor?
Supongamos que Alice tiene una salida con 1 unidad de valor que llamaremos AO1 (salida de Alice 1). Y supongamos que Bob tiene una salida con 2 unidades de valor que llamaremos BO1 (Bob salida 1).
Alice envía AO1 a Charlie, formando CI1 (entrada 1 de Charlie), con una unidad de valor. Bob envía BO1 a Charlie, formando CO2, con dos unidades de valor.
Charlie ahora extrae CI1 (una entrada de Charlie que dice CO1) y CI2 (una entrada de Charlie que dice CO2) en una única salida, CO3, con tres unidades de valor.
Charlie ahora envía CI3 (una entrada que dice CO3) a Dave, formando DO1.
Si este sistema proporciona privacidad, nadie puede asignar CI1 a CO1, ni puede asignar CI2 a CO2, ni puede decir que CO3 pertenece a la misma persona a la que pertenecen CI1 y CI2.
Entonces, si bien todos pueden ver que CI1 + CI2 = CO3, esto realmente no les hace ningún bien. Incluso si pueden decir que CI1 tiene 1 unidad, CI2 tiene 2 unidades y CO3 tiene 3 unidades, esto no les sirve de nada. No pueden asignar CO3 a CI3, por lo que no pueden decir cuánto se envió a Dave. No pueden asignar AO1 a AI2, por lo que no pueden saber cuánto envió Alice a Bob. Etcétera.
Una vez que no puede saber qué salida reclama una entrada, el resto es bastante fácil.
Si por "anonimiza el valor de una moneda" quiere decir "anonimiza los montos en una transacción", entonces esta respuesta sobre RingCT en el intercambio de pila de monero podría ser útil: https://monero.stackexchange.com/questions/880/eli5 -cómo-funciona-ringct