Update the spec

cggmp21-keygen/src/non_threshold.rs

@@ -103,11 +103,13 @@ mod unambiguous {
     #[derive(udigest::Digestable)]
     #[udigest(tag = prefixed!("schnorr_pok"))]
     #[udigest(bound = "")]
-    pub struct SchnorrPok<'a> {
+    pub struct SchnorrPok<'a, E: Curve> {
         pub sid: ExecutionId<'a>,
         pub prover: u16,
         #[udigest(as_bytes)]
         pub rid: &'a [u8],
+        pub X: &'a generic_ec::NonZero<generic_ec::Point<E>>,
+        pub sch_commit: &'a generic_ec_zkp::schnorr_pok::Commit<E>,
     }
 
     #[derive(udigest::Digestable)]
@@ -175,7 +177,7 @@ where
     let my_decommitment = MsgRound2 {
         rid,
         X: X_i,
-        sch_commit,
+        sch_commit: sch_commit.clone(),
         #[cfg(feature = "hd-wallet")]
         chain_code: chain_code_local,
         decommit: {
@@ -307,6 +309,8 @@ where
         sid,
         prover: i,
         rid: rid.as_ref(),
+        X: &X_i,
+        sch_commit: &sch_commit,
     });
     let challenge = schnorr_pok::Challenge { nonce: challenge };
 
@@ -337,6 +341,8 @@ where
             sid,
             prover: j,
             rid: rid.as_ref(),
+            X: &decom.X,
+            sch_commit: &decom.sch_commit,
         });
         let challenge = schnorr_pok::Challenge { nonce: challenge };
         sch_proof

paillier-zk/src/no_small_factor.rs

@@ -30,8 +30,8 @@
 //!
 //! let aux: p::Aux = pregenerated::verifier_aux();
 //! let security = p::SecurityParams {
-//!     l: 4,
-//!     epsilon: 128,
+//!     l: 256,
+//!     epsilon: 230,
 //!     q: (Integer::ONE << 128_u32).complete(),
 //! };
 //!

shell.nix

@@ -1,26 +1,17 @@
-let # Rust
-  pkgs = import <nixpkgs> { overlays = [ rustOverlay ]; };
-  lib = pkgs.lib;
-  isDarwin = pkgs.hostPlatform.isDarwin;
+# shell for compiling latex spec
 
-  rustVersion = "1.75.0";
-  rustOverlay = import (builtins.fetchTarball "https://github.com/oxalica/rust-overlay/archive/master.tar.gz");
+let
+  pkgs = import <nixpkgs> {};
 
-  rust = pkgs.rust-bin.stable.${rustVersion}.default.override {
-    extensions = [
-      "rust-src" # for rust-analyzer
-    ];
-  };
   # Latex
   tex = (pkgs.texlive.combine {
     inherit (pkgs.texlive) scheme-small
-      collection-mathscience preprint amsmath;
+      collection-mathscience preprint amsmath enumitem placeins;
   });
 
 in pkgs.stdenv.mkDerivation {
   name = "signers-env";
   nativeBuildInputs = [
-    rust pkgs.rust-analyzer tex pkgs.gnum4
+    tex
   ];
-  buildInputs = lib.optionals isDarwin [pkgs.darwin.apple_sdk.frameworks.Security];
 }