🧪 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
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.