🧪 Simulador de Trusted Setup (Groth16 & Powers of Tau)

100% Client-Side

Toxic Waste (τ) 123

Escalar τ·G1 123

Escalar τ·G2 246

Emparejamiento Bilineal Válido e(A,B)=e(α,β)

Grado τ^n 5 potencias

⚙️ Secretos Tóxicos (Toxic Waste)

Secreto τ (Tau)

Potencia Máxima τ^n

Secreto α (Alpha)

Secreto β (Beta)

Escalera Powers of Tau — [τⁱ · G₁]

⚠️ Simulación pedagógica en grupo cíclico discreto $\mathbb{F}_q$. No usar en entornos productivos.

Emparejamiento Bilineal $e(A, B) = e(\alpha, \beta) \cdot e(C, \delta)$

e([A]₁, [B]₂) = e([α]₁, [β]₂)

✅ Identidad Criptográfica Verificada

{}

{}

Ceremonia Powers of Tau (Fase 1 + Fase 2 Groth16)

1. Fase 1 (Universal): Genera los puntos evaluados de la curva $\left\{ \tau^0 G_1, \tau^1 G_1, \dots, \tau^N G_1 \right\}$ y $\left\{ \tau^0 G_2, \tau^1 G_2, \dots, \tau^N G_2 \right\}$ mediante una cadena MPC multipartita.

2. Fase 2 (Específica del Circuito R1CS): Aplica los polinomios QAP de los wires $A_i(x), B_i(x), C_i(x)$ evaluados en el secreto tóxico $\tau$ con los coeficientes $\alpha, \beta, \gamma, \delta$.

3. Destrucción del Toxic Waste: Si al menos un participante destruye honestamente su secreto $\tau_i$, el sistema final es matemáticamente invulnerable contra falsificaciones de pruebas.