Verificar un informe de atestiguamiento de un stablecoin

1. Lea totalSupply() en el contrato del token en un bloque de la fecha de corte del informe, en cada cadena que cuenta el emisor. Cada resultado está en unidades base; divídalo entre diez elevado a los decimales del contrato.
2. Descargue el informe de atestiguamiento del emisor desde el propio sitio del emisor, colóquelo en la comprobación de abajo y confirme COINCIDE frente al SHA-256 que ReserveBeat almacenó al capturar el informe.
3. Sume el suministro en esas cadenas y compárelo con los tokens en circulación que declara el informe y, luego, con las reservas que declara. Las diferencias de fecha, alcance y lista de cadenas explican la mayoría de las brechas; las propias notas del informe indican su alcance.

Qué necesita cada comprobación

• La cadena, los anclajes, las raíces de Merkle, las cargas útiles incluidas y las pruebas de almacenamiento solo necesitan Python 3.10 o posterior, su biblioteca estándar y el único paquete fijado en requirements.txt. Keccak-256 viene incorporado.
• Los sellos de tiempo RFC 3161 necesitan openssl en su PATH. Sin él, cada tramo de sello de tiempo que contiene un token cuenta como NOT VERIFIED y la ejecución falla. Un tramo cuyo paquete no almacena una cadena de CA también cuenta como NOT VERIFIED, salvo que usted pase --tsa-ca con las raíces de confianza que elija, como el paquete de CA de su sistema. La línea de ejecución del paquete que aparece abajo pasa la ruta de Debian y Ubuntu; en otro sistema, indique la ruta de su propio paquete de CA.
• Las pruebas de OpenTimestamps se cuentan, no se comprueban. Comprobar una requiere el cliente ots y un nodo de Bitcoin; la opción --ots-dir escribe cada prueba junto a los bytes que sella, lista para ots verify.

Ejecútelo

python3 -m venv .venv && .venv/bin/pip install --require-hashes -r requirements.txt
.venv/bin/python rb_verify.py bundle <bundle.zip> --tsa-ca /etc/ssl/certs/ca-certificates.crt
.venv/bin/python rb_verify.py storage-proof <payload.json>
.venv/bin/python rb_verify.py pdf <report.pdf> --record <seq> --bundle <bundle.zip>

El código de salida 0 significa que se verificaron todas las comprobaciones aplicables, 1 significa que al menos una falló (se enumeran todos los fallos) y 2 significa que no se pudo leer la entrada. El mensaje final solo se imprime con la salida 0. Los registros posteriores al último anclaje diario figuran como PENDING: el mensaje los cuenta e indica que aún no tienen sello de tiempo, y cuando el más antiguo es más de 30 horas anterior al paquete pasan a OVERDUE y la ejecución falla.

Un paquete prepara evidencias para el examen. No es un atestiguamiento. Verificarlo muestra que los registros, los anclajes y las cargas útiles de elaboración propia son los consignados, en el orden y en los momentos declarados. No muestra que las cifras de los documentos subyacentes sean verdaderas.