begin migration from example/halo2 to src/

Cargo.lock

@@ -1282,6 +1282,7 @@ dependencies = [
  "bytes 1.1.0",
  "crypto_api_chachapoly",
  "dirs",
+ "ff",
  "futures",
  "group",
  "halo2",

Cargo.toml

@@ -33,6 +33,7 @@ features = ["lz4"]
 
 [dependencies]
 # Crypto
+ff = "0.11.0"
 pasta_curves = "0.2.1"
 rand = "0.8.4"
 num-bigint = {version = "0.4.2", features = ["rand"]}

example/halo2/src/crypto.rs

@@ -1,18 +0,0 @@
-use pasta_curves::{
-    arithmetic::{CurveExt, FieldExt},
-    pallas,
-};
-
-use crate::constants::fixed_bases::{
-    VALUE_COMMITMENT_PERSONALIZATION, VALUE_COMMITMENT_R_BYTES, VALUE_COMMITMENT_V_BYTES,
-};
-
-#[allow(non_snake_case)]
-pub fn pedersen_commitment(value: u64, blind: pallas::Scalar) -> pallas::Point {
-    let hasher = pallas::Point::hash_to_curve(VALUE_COMMITMENT_PERSONALIZATION);
-    let V = hasher(&VALUE_COMMITMENT_V_BYTES);
-    let R = hasher(&VALUE_COMMITMENT_R_BYTES);
-    let value = pallas::Scalar::from_u64(value);
-
-    V * value + R * blind
-}

src/bin/tx2.rs

@@ -0,0 +1,32 @@
+use pasta_curves::{
+    arithmetic::{CurveAffine, Field},
+    group::{ff::{PrimeField, PrimeFieldBits}, Curve},
+    pallas,
+};
+use halo2_gadgets::{
+    ecc::{
+        chip::{EccChip, EccConfig},
+        FixedPoint, FixedPoints,
+    },
+};
+use rand::rngs::OsRng;
+
+use drk::{
+    constants::{
+        sinsemilla::{OrchardCommitDomains, OrchardHashDomains, MERKLE_CRH_PERSONALIZATION},
+        OrchardFixedBases,
+    },
+    crypto::pedersen_commitment,
+    proof::{Proof, ProvingKey, VerifyingKey},
+    spec::i2lebsp,
+};
+
+fn mod_r_p(x: pallas::Base) -> pallas::Scalar {
+    pallas::Scalar::from_repr(x.to_repr()).unwrap()
+}
+
+fn main() {
+    let secret = pallas::Base::random(&mut OsRng);
+    let public_key = OrchardFixedBases::SpendAuthG.generator() * mod_r_p(secret);
+}
+

src/crypto/mod.rs → src/crypto.rs

@@ -1,3 +1,26 @@
+use pasta_curves::{
+    arithmetic::{CurveExt, FieldExt},
+    pallas,
+};
+
+use crate::constants::fixed_bases::{
+    VALUE_COMMITMENT_PERSONALIZATION, VALUE_COMMITMENT_R_BYTES, VALUE_COMMITMENT_V_BYTES,
+};
+
+#[allow(non_snake_case)]
+pub fn pedersen_commitment(value: u64, blind: pallas::Scalar) -> pallas::Point {
+    let hasher = pallas::Point::hash_to_curve(VALUE_COMMITMENT_PERSONALIZATION);
+    let V = hasher(&VALUE_COMMITMENT_V_BYTES);
+    let R = hasher(&VALUE_COMMITMENT_R_BYTES);
+    let value = pallas::Scalar::from_u64(value);
+
+    V * value + R * blind
+}
+
+//////////////////////////////////
+// copied from mod.rs
+// todo: go through this code
+
 pub mod coin;
 pub mod constants;
 pub mod diffie_hellman;

src/lib.rs

@@ -3,13 +3,16 @@ pub mod blockchain;
 pub mod circuit;
 pub mod cli;
 pub mod client;
+pub mod constants;
 pub mod crypto;
 pub mod endian;
 pub mod error;
 pub mod net;
+pub mod proof;
 pub mod rpc;
 pub mod serial;
 pub mod service;
+pub mod spec;
 pub mod state;
 pub mod system;
 pub mod tx;