migrate burn contract to src/bin from examples/halo2/src/bin

example/halo2/src/bin/burn.rs → src/bin/burn.rs

@@ -39,14 +39,18 @@ use pasta_curves::{
 };
 use rand::rngs::OsRng;
 
-use drk_halo2::{
-    constants::{
-        sinsemilla::{OrchardCommitDomains, OrchardHashDomains, MERKLE_CRH_PERSONALIZATION},
-        OrchardFixedBases,
+use drk::{
+    crypto::{
+        constants::{
+            sinsemilla::{OrchardCommitDomains, OrchardHashDomains, MERKLE_CRH_PERSONALIZATION, i2lebsp},
+            OrchardFixedBases,
+        },
+        util::{
+            pedersen_commitment_u64,
+            pedersen_commitment_scalar
+        },
+        proof::{Proof, ProvingKey, VerifyingKey},
     },
-    crypto::pedersen_commitment,
-    proof::{Proof, ProvingKey, VerifyingKey},
-    spec::i2lebsp,
 };
 
 #[derive(Clone, Debug)]
@@ -559,8 +563,8 @@ fn main() {
     // Value and asset commitments
     let value_blind = pallas::Scalar::random(&mut OsRng);
     let asset_blind = pallas::Scalar::random(&mut OsRng);
-    let value_commit = pedersen_commitment(value, value_blind);
-    let asset_commit = pedersen_commitment(asset, asset_blind);
+    let value_commit = pedersen_commitment_u64(value, value_blind);
+    let asset_commit = pedersen_commitment_u64(asset, asset_blind);
 
     let value_coords = value_commit.to_affine().coordinates().unwrap();
     let asset_coords = asset_commit.to_affine().coordinates().unwrap();

src/crypto/constants/sinsemilla.rs

@@ -70,8 +70,7 @@ pub const Q_MERKLE_CRH: ([u8; 32], [u8; 32]) = (
     ],
 );
 
-#[allow(dead_code)]
-fn i2lebsp<const NUM_BITS: usize>(int: u64) -> [bool; NUM_BITS] {
+pub fn i2lebsp<const NUM_BITS: usize>(int: u64) -> [bool; NUM_BITS] {
     assert!(NUM_BITS <= 64);
     super::util::gen_const_array(|mask: usize| (int & (1 << mask)) != 0)
 }