Circuits and smart contract Verifier

manudev97 · Jul 12, 2024 · 9da5d69 · 9da5d69
1 parent 67ff164
commit 9da5d69
Show file tree

Hide file tree

Showing 13 changed files with 26,520 additions and 2 deletions.
diff --git a/packages/hardhat/README.md b/packages/hardhat/README.md
@@ -1,6 +1,6 @@
-## Comandos (zk_ATM - Hasher y Verifier.sol)
+# Comandos (zk_ATM - Hasher y Verifier.sol)
 
-# Scaffold-eth-2
+## Scaffold-eth-2 / Hardhat
 ```sh 
 yarn chain
 yarn start #localhost
@@ -16,3 +16,40 @@ node scripts/compileHasher.js
 npx hardhat run scripts/deploy.js --network scrollSepolia #Deploy de contrato Hasher en scrollSepolia
 # Hasher address (Poseidon 1 args): 0xCc735e52E393f125cAFc4E0aEbD80AEd81eA4B41
  yarn deploy --network scrollSepolia # Despliega los contratos en scrollSepolia
+```
+## Scaffold-eth-2 / Hardhat / Circuits
+
+#### R1CS
+```sh
+yarn add circomlib
+cd circuits
+circom withdraw.circom --inspect   # inspeccionar codigo (errores, advertencias)
+circom withdraw.circom --r1cs --wasm --sym --json   # compilar (sym - archivo de símbolo de señales})
+snarkjs r1cs info withdraw.r1cs   # info (curva, cantd. restricciones y entradas...)
+snarkjs r1cs print withdraw.r1cs withdraw.sym    # mostrar restricciones con señales
+snarkjs r1cs export json withdraw.r1cs withdraw.r1cs.json   # mejor lectura del r1cs (ver mapeo respecto a .sym)
+```
+#### Testigo (Crear archivo input.json)
+```sh 
+cd withdraw_js
+nano input.json   # agregar valores de las señales
+{
+    "root": "0x14fede0676ad0f9cf51a5624214ef16b8ed71acf28346cb295ffb93da237d604",
+    "nullifierHash": "0x1ceba1ab7f0672deab84b6595732266fc91bd24cc69cd435ceafdf1067cfce85",
+    "nullifier": "0x8ea524200e0718c2c609a38fabfcb5b3322a573ccd517ff3c20e7816439fb54a",
+    "secret": "0x00e555634cb7af524dbb216b9338817158c8da9ed33827dc1ca05296cfdd7466",
+    "pathElements": ["0x1d27baa01438d26e8a52f6914806cf329e273630404a9731e3035c38554973dd", "0x22ad4ea9d906223178e5e07ce96027769ee28e66bcfc00237e69c08845cd3972"],
+    "pathIndices": [0,0]
+}
+node generate_witness.js withdraw.wasm input.json witness.wtns   # muestra log() verificar hashs si coinciden
+snarkjs wtns export json witness.wtns witness.json # mejor lectura del testigo
+```
+#### Script Fase 1 (MPC-Perpetual) | Fase 2 sin confianza (QAP, zkey, Verifier.sol)
+En la ruta inicial de hardhat ejecutar:
+```sh
+cp circuits/withdraw.r1cs build
+bash scripts/quickSetup.sh
+snarkjs zkey verify build/withdraw.r1cs build/phase2_final.ptau build/circuit_final.zkey   # verificar claves con circuito
+cp build/Verifier.sol contracts 
+```
+### Generar Pruebas
diff --git a/packages/hardhat/circuits/withdraw.r1cs b/packages/hardhat/circuits/withdraw.r1cs