Release v0.15.0 (#265)

README.md

@@ -35,10 +35,7 @@ Garaga currently supports:
 - Scalar & Multi-scalar multiplication for any Weirstrass curve, including BN254, BLS12_381, SECP256/R1, and ED25519. You can add the one you need by specifying the curve parameters.
 - Pairing operations for BN254 and BLS12_381.
 - Groth16 smart contract verifiers generators for BN254 and BLS12_381.
-
-Following supported schemes will be
-- BLS signatures contract generators.
-- Plonk based SNARKs verifier, especially Noir.
+- Noir smart contract verifiers generators for ultra keccak honk flavour.
 
 
 ## Architecture overview
@@ -62,9 +59,9 @@ Currently, only Groth16 on BN254 and BLS12_381 is supported with automatic suppo
 6. Run the `garaga declare` command in your terminal to declare the smart contract on Starknet and obtain its class hash. Note that this is an expensive operation.
 7. Run the `garaga deploy` command in your terminal using the class hash obtained in the previous step to get the contract address.
 
-7. Run the `garaga verify-onchain` command in your terminal using the contract address, the verification key, the proof and the public inputs to verify the proof against the SNARK verifier contract.
+8. Run the `garaga verify-onchain` command in your terminal using the contract address, the verification key, the proof and the public inputs to verify the proof against the SNARK verifier contract.
 
-For more details, please refer to the [documentation](https://felt.gitbook.io/garaga/).
+For more details, please refer to the [documentation](https://garaga.gitbook.io/garaga/).
 
 ## Developer setup
 

hydra/garaga/precompiled_circuits/honk.py

@@ -500,7 +500,7 @@ def split_challenge(ch: bytes) -> tuple[int, int]:
             hasher.update(int.to_bytes(pub_input, 32, "big"))
 
         for g1_proof_point in [proof.w1, proof.w2, proof.w3]:
-            print(f"g1_proof_point: {g1_proof_point.__repr__()}")
+            # print(f"g1_proof_point: {g1_proof_point.__repr__()}")
             x0, x1, y0, y1 = g1_to_g1_proof_point(g1_proof_point)
             hasher.update(int.to_bytes(x0, 32, "big"))
             hasher.update(int.to_bytes(x1, 32, "big"))
@@ -515,9 +515,9 @@ def split_challenge(ch: bytes) -> tuple[int, int]:
         ch0 = hasher.digest_reset()
         eta_three, _ = split_challenge(ch0)
 
-        print(f"eta: {hex(eta)}")
-        print(f"eta_two: {hex(eta_two)}")
-        print(f"eta_three: {hex(eta_three)}")
+        # print(f"eta: {hex(eta)}")
+        # print(f"eta_two: {hex(eta_two)}")
+        # print(f"eta_three: {hex(eta_three)}")
         # Round 1 : ch0, lookup_read_counts, lookup_read_tags, w4
 
         hasher.update(ch0)
@@ -570,16 +570,16 @@ def split_challenge(ch: bytes) -> tuple[int, int]:
             ch3 = hasher.digest_reset()
             gate_challenges[i], _ = split_challenge(ch3)
 
-        print(f"gate_challenges: {[hex(x) for x in gate_challenges]}")
-        print(f"len(gate_challenges): {len(gate_challenges)}")
+        # print(f"gate_challenges: {[hex(x) for x in gate_challenges]}")
+        # print(f"len(gate_challenges): {len(gate_challenges)}")
         # Round 4: Sumcheck u challenges
         ch4 = ch3
         sum_check_u_challenges = [None] * CONST_PROOF_SIZE_LOG_N
 
-        print(f"len(sumcheck_univariates): {len(proof.sumcheck_univariates)}")
-        print(
-            f"len(proof.sumcheck_univariates[0]): {len(proof.sumcheck_univariates[0])}"
-        )
+        # print(f"len(sumcheck_univariates): {len(proof.sumcheck_univariates)}")
+        # print(
+        #     f"len(proof.sumcheck_univariates[0]): {len(proof.sumcheck_univariates[0])}"
+        # )
 
         for i in range(CONST_PROOF_SIZE_LOG_N):
             # Create array of univariate challenges starting with previous challenge
@@ -601,8 +601,8 @@ def split_challenge(ch: bytes) -> tuple[int, int]:
             # Split challenge to get sumcheck challenge
             sum_check_u_challenges[i], _ = split_challenge(ch4)
 
-        print(f"sum_check_u_challenges: {[hex(x) for x in sum_check_u_challenges]}")
-        print(f"len(sum_check_u_challenges): {len(sum_check_u_challenges)}")
+        # print(f"sum_check_u_challenges: {[hex(x) for x in sum_check_u_challenges]}")
+        # print(f"len(sum_check_u_challenges): {len(sum_check_u_challenges)}")
 
         # Rho challenge :
         hasher.update(ch4)
@@ -612,7 +612,7 @@ def split_challenge(ch: bytes) -> tuple[int, int]:
         c5 = hasher.digest_reset()
         rho, _ = split_challenge(c5)
 
-        print(f"rho: {hex(rho)}")
+        # print(f"rho: {hex(rho)}")
 
         # Gemini R :
         hasher.update(c5)
@@ -626,7 +626,7 @@ def split_challenge(ch: bytes) -> tuple[int, int]:
         c6 = hasher.digest_reset()
         gemini_r, _ = split_challenge(c6)
 
-        print(f"gemini_r: {hex(gemini_r)}")
+        # print(f"gemini_r: {hex(gemini_r)}")
 
         # Shplonk Nu :
         hasher.update(c6)
@@ -636,7 +636,7 @@ def split_challenge(ch: bytes) -> tuple[int, int]:
         c7 = hasher.digest_reset()
         shplonk_nu, _ = split_challenge(c7)
 
-        print(f"shplonk_nu: {hex(shplonk_nu)}")
+        # print(f"shplonk_nu: {hex(shplonk_nu)}")
 
         # Shplonk Z :
         hasher.update(c7)
@@ -649,7 +649,7 @@ def split_challenge(ch: bytes) -> tuple[int, int]:
         c8 = hasher.digest_reset()
         shplonk_z, _ = split_challenge(c8)
 
-        print(f"shplonk_z: {hex(shplonk_z)}")
+        # print(f"shplonk_z: {hex(shplonk_z)}")
 
         return cls(
             eta=eta,

pyproject.toml

@@ -4,15 +4,16 @@ build-backend = "maturin"
 
 [project]
 name = "garaga"
-version = "0.14.0"
+version = "0.15.0"
 requires-python = ">=3.10,<3.11"
 dependencies = [
   "fastecdsa",
   "sympy",
   "typer",
   "python-dotenv",
   "pysha3",
-  "starknet-py==0.24.2"
+  "starknet-py==0.24.3",
+  "requests",
 ]
 description = "State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺."
 

tools/garaga_rs/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "garaga_rs"
-version = "0.14.0"
+version = "0.15.0"
 edition = "2021"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html

tools/npm/garaga_ts/package.json

@@ -1,7 +1,7 @@
 {
   "type": "module",
   "name": "garaga",
-  "version": "0.14.0",
+  "version": "0.15.0",
   "main": "./dist/index.cjs",
   "module": "./dist/index.mjs",
   "types": "./dist/index.d.ts",

tools/npm/garaga_ts/src/wasm/pkg/package.json

@@ -1,7 +1,7 @@
 {
   "name": "garaga_rs",
   "type": "module",
-  "version": "0.14.0",
+  "version": "0.15.0",
   "files": [
     "garaga_rs_bg.wasm",
     "garaga_rs.js",