create-dubhe 0.0.8 → 0.0.10

package/template/101/movement-template/contracts/counter/build/counter/sources/dependencies/AptosStdlib/ristretto255_bulletproofs.move

@@ -0,0 +1,253 @@
+/// This module implements a Bulletproof range proof verifier on the Ristretto255 curve.
+///
+/// A Bulletproof-based zero-knowledge range proof is a proof that a Pedersen commitment
+/// $c = v G + r H$ commits to an $n$-bit value $v$ (i.e., $v \in [0, 2^n)$). Currently, this module only supports
+/// $n \in \{8, 16, 32, 64\}$ for the number of bits.
+module aptos_std::ristretto255_bulletproofs {
+    use std::error;
+    use std::features;
+    use aptos_std::ristretto255_pedersen as pedersen;
+    use aptos_std::ristretto255::{Self, RistrettoPoint};
+
+    //
+    // Constants
+    //
+
+    /// The maximum range supported by the Bulletproofs library is $[0, 2^{64})$.
+    const MAX_RANGE_BITS : u64 = 64;
+
+    //
+    // Error codes
+    //
+
+    /// There was an error deserializing the range proof.
+    const E_DESERIALIZE_RANGE_PROOF: u64 = 1;
+
+    /// The committed value given to the prover is too large.
+    const E_VALUE_OUTSIDE_RANGE: u64 = 2;
+
+    /// The range proof system only supports proving ranges of type $[0, 2^b)$ where $b \in \{8, 16, 32, 64\}$.
+    const E_RANGE_NOT_SUPPORTED: u64 = 3;
+
+    /// The native functions have not been rolled out yet.
+    const E_NATIVE_FUN_NOT_AVAILABLE: u64 = 4;
+
+    //
+    // Structs
+    //
+
+    /// Represents a zero-knowledge range proof that a value committed inside a Pedersen commitment lies in
+    /// `[0, 2^{MAX_RANGE_BITS})`.
+    struct RangeProof has copy, drop, store {
+        bytes: vector<u8>
+    }
+
+    //
+    // Public functions
+    //
+
+    /// Returns the maximum # of bits that the range proof system can verify proofs for.
+    public fun get_max_range_bits(): u64 {
+        MAX_RANGE_BITS
+    }
+
+    /// Deserializes a range proof from a sequence of bytes. The serialization format is the same as the format in
+    /// the zkcrypto's `bulletproofs` library (https://docs.rs/bulletproofs/4.0.0/bulletproofs/struct.RangeProof.html#method.from_bytes).
+    public fun range_proof_from_bytes(bytes: vector<u8>): RangeProof {
+        RangeProof {
+            bytes
+        }
+    }
+
+    /// Returns the byte-representation of a range proof.
+    public fun range_proof_to_bytes(proof: &RangeProof): vector<u8> {
+        proof.bytes
+    }
+
+    /// Verifies a zero-knowledge range proof that the value `v` committed in `com` (under the default Bulletproofs
+    /// commitment key; see `pedersen::new_commitment_for_bulletproof`) satisfies $v \in [0, 2^b)$. Only works
+    /// for $b \in \{8, 16, 32, 64\}$. Additionally, checks that the prover used `dst` as the domain-separation
+    /// tag (DST).
+    ///
+    /// WARNING: The DST check is VERY important for security as it prevents proofs computed for one application
+    /// (a.k.a., a _domain_) with `dst_1` from verifying in a different application with `dst_2 != dst_1`.
+    public fun verify_range_proof_pedersen(com: &pedersen::Commitment, proof: &RangeProof, num_bits: u64, dst: vector<u8>): bool {
+        assert!(features::bulletproofs_enabled(), error::invalid_state(E_NATIVE_FUN_NOT_AVAILABLE));
+
+        verify_range_proof_internal(
+            ristretto255::point_to_bytes(&pedersen::commitment_as_compressed_point(com)),
+            &ristretto255::basepoint(), &ristretto255::hash_to_point_base(),
+            proof.bytes,
+            num_bits,
+            dst
+        )
+    }
+
+    /// Verifies a zero-knowledge range proof that the value `v` committed in `com` (as v * val_base + r * rand_base,
+    /// for some randomness `r`) satisfies `v` in `[0, 2^num_bits)`. Only works for `num_bits` in `{8, 16, 32, 64}`.
+    public fun verify_range_proof(
+        com: &RistrettoPoint,
+        val_base: &RistrettoPoint, rand_base: &RistrettoPoint,
+        proof: &RangeProof, num_bits: u64, dst: vector<u8>): bool
+    {
+        assert!(features::bulletproofs_enabled(), error::invalid_state(E_NATIVE_FUN_NOT_AVAILABLE));
+
+        verify_range_proof_internal(
+            ristretto255::point_to_bytes(&ristretto255::point_compress(com)),
+            val_base, rand_base,
+            proof.bytes, num_bits, dst
+        )
+    }
+
+    #[test_only]
+    /// Computes a range proof for the Pedersen commitment to 'val' with randomness 'r', under the default Bulletproofs
+    /// commitment key; see `pedersen::new_commitment_for_bulletproof`. Returns the said commitment too.
+    ///  Only works for `num_bits` in `{8, 16, 32, 64}`.
+    public fun prove_range_pedersen(val: &Scalar, r: &Scalar, num_bits: u64, dst: vector<u8>): (RangeProof, pedersen::Commitment) {
+        let (bytes, compressed_comm) = prove_range_internal(scalar_to_bytes(val), scalar_to_bytes(r), num_bits, dst, &ristretto255::basepoint(), &ristretto255::hash_to_point_base());
+        let point = ristretto255::new_compressed_point_from_bytes(compressed_comm);
+        let point = &std::option::extract(&mut point);
+
+        (
+            RangeProof { bytes },
+            pedersen::commitment_from_compressed(point)
+        )
+    }
+
+    //
+    // Native functions
+    //
+
+    /// Aborts with `error::invalid_argument(E_DESERIALIZE_RANGE_PROOF)` if `proof` is not a valid serialization of a
+    /// range proof.
+    /// Aborts with `error::invalid_argument(E_RANGE_NOT_SUPPORTED)` if an unsupported `num_bits` is provided.
+    native fun verify_range_proof_internal(
+        com: vector<u8>,
+        val_base: &RistrettoPoint,
+        rand_base: &RistrettoPoint,
+        proof: vector<u8>,
+        num_bits: u64,
+        dst: vector<u8>): bool;
+
+    #[test_only]
+    /// Returns a tuple consisting of (1) a range proof for 'val' committed with randomness 'r' under the default Bulletproofs
+    /// commitment key and (2) the commitment itself.
+    ///
+    /// Aborts with `error::invalid_argument(E_RANGE_NOT_SUPPORTED)` if an unsupported `num_bits` is provided.
+    /// Aborts with `error::invalid_argument(E_VALUE_OUTSIDE_RANGE)` if an `val_base` is not `num_bits` wide.
+    native fun prove_range_internal(
+        val: vector<u8>,
+        r: vector<u8>,
+        num_bits: u64,
+        dst: vector<u8>,
+        val_base: &RistrettoPoint,
+        rand_base: &RistrettoPoint): (vector<u8>, vector<u8>);
+
+    //
+    // Testing
+    //
+
+    #[test_only]
+    use aptos_std::ristretto255::{Scalar, scalar_to_bytes, point_equals};
+
+    #[test_only]
+    const A_DST: vector<u8> = b"AptosBulletproofs";
+    #[test_only]
+    const A_VALUE: vector<u8> = x"870c2fa1b2e9ac45000000000000000000000000000000000000000000000000";  // i.e., 5020644638028926087u64
+    #[test_only]
+    const A_BLINDER: vector<u8> = x"e7c7b42b75503bfc7b1932783786d227ebf88f79da752b68f6b865a9c179640c";
+    // Pedersen commitment to A_VALUE with randomness A_BLINDER
+    #[test_only]
+    const A_COMM: vector<u8> = x"0a665260a4e42e575882c2cdcb3d0febd6cf168834f6de1e9e61e7b2e53dbf14";
+    // Range proof for A_COMM using domain-separation tag in A_DST, and MAX_RANGE_BITS
+    #[test_only]
+    const A_RANGE_PROOF_PEDERSEN: vector<u8> = x"d8d422d3fb9511d1942b78e3ec1a8c82fe1c01a0a690c55a4761e7e825633a753cca816667d2cbb716fe04a9c199cad748c2d4e59de4ed04fedf5f04f4341a74ae75b63c1997fd65d5fb3a8c03ad8771abe2c0a4f65d19496c11d948d6809503eac4d996f2c6be4e64ebe2df31102c96f106695bdf489dc9290c93b4d4b5411fb6298d0c33afa57e2e1948c38ef567268a661e7b1c099272e29591e717930a06a2c6e0e2d56aedea3078fd59334634f1a4543069865409eba074278f191039083102a9a0621791a9be09212a847e22061e083d7a712b05bca7274b25e4cb1201c679c4957f0842d7661fa1d3f5456a651e89112628b456026f8ad3a7abeaba3fec8031ec8b0392c0aa6c96205f7b21b0c2d6b5d064bd5bd1a1d91c41625d910688fa0dca35ec0f0e31a45792f8d6a330be970a22e1e0773111a083de893c89419ee7de97295978de90bcdf873a2826746809e64f9143417dbed09fa1c124e673febfed65c137cc45fabda963c96b64645802d1440cba5e58717e539f55f3321ab0c0f60410fba70070c5db500fee874265a343a2a59773fd150bcae09321a5166062e176e2e76bef0e3dd1a9250bcb7f4c971c10f0b24eb2a94e009b72c1fc21ee4267881e27b4edba8bed627ddf37e0c53cd425bc279d0c50d154d136503e54882e9541820d6394bd52ca2b438fd8c517f186fec0649c4846c4e43ce845d80e503dee157ce55392188039a7efc78719107ab989db8d9363b9dfc1946f01a84dbca5e742ed5f30b07ac61cf17ce2cf2c6a49d799ed3968a63a3ccb90d9a0e50960d959f17f202dd5cf0f2c375a8a702e063d339e48c0227e7cf710157f63f13136d8c3076c672ea2c1028fc1825366a145a4311de6c2cc46d3144ae3d2bc5808819b9817be3fce1664ecb60f74733e75e97ca8e567d1b81bdd4c56c7a340ba00";
+
+    #[test(fx = @std)]
+    #[expected_failure(abort_code = 0x010003, location = Self)]
+    fun test_unsupported_ranges(fx: signer) {
+        features::change_feature_flags_for_testing(&fx, vector[ features::get_bulletproofs_feature() ], vector[]);
+
+        let comm = ristretto255::new_point_from_bytes(A_COMM);
+        let comm = std::option::extract(&mut comm);
+        let comm = pedersen::commitment_from_point(comm);
+
+        assert!(verify_range_proof_pedersen(
+            &comm,
+            &range_proof_from_bytes(A_RANGE_PROOF_PEDERSEN), 10, A_DST), 1);
+    }
+
+    #[test(fx = @std)]
+    fun test_prover(fx: signer) {
+        features::change_feature_flags_for_testing(&fx, vector[ features::get_bulletproofs_feature() ], vector[]);
+
+        let v = ristretto255::new_scalar_from_u64(59);
+        let r = ristretto255::new_scalar_from_bytes(A_BLINDER);
+        let r = std::option::extract(&mut r);
+        let num_bits = 8;
+
+        let (proof, comm) = prove_range_pedersen(&v, &r, num_bits, A_DST);
+
+        assert!(verify_range_proof_pedersen(&comm, &proof, 64, A_DST) == false, 1);
+        assert!(verify_range_proof_pedersen(&comm, &proof, 32, A_DST) == false, 1);
+        assert!(verify_range_proof_pedersen(&comm, &proof, 16, A_DST) == false, 1);
+        assert!(verify_range_proof_pedersen(&comm, &proof, num_bits, A_DST), 1);
+    }
+
+    #[test(fx = @std)]
+    #[expected_failure(abort_code = 0x010001, location = Self)]
+    fun test_empty_range_proof(fx: signer) {
+        features::change_feature_flags_for_testing(&fx, vector[ features::get_bulletproofs_feature() ], vector[]);
+
+        let proof = &range_proof_from_bytes(vector[ ]);
+        let num_bits = 64;
+        let com = pedersen::new_commitment_for_bulletproof(
+            &ristretto255::scalar_one(),
+            &ristretto255::new_scalar_from_sha2_512(b"hello random world")
+        );
+
+        // This will fail with error::invalid_argument(E_DESERIALIZE_RANGE_PROOF)
+        verify_range_proof_pedersen(&com, proof, num_bits, A_DST);
+    }
+
+    #[test(fx = @std)]
+    fun test_valid_range_proof_verifies_against_comm(fx: signer) {
+        features::change_feature_flags_for_testing(&fx, vector[ features::get_bulletproofs_feature() ], vector[]);
+
+        let value = ristretto255::new_scalar_from_bytes(A_VALUE);
+        let value = std::option::extract(&mut value);
+
+        let blinder = ristretto255::new_scalar_from_bytes(A_BLINDER);
+        let blinder = std::option::extract(&mut blinder);
+
+        let comm = pedersen::new_commitment_for_bulletproof(&value, &blinder);
+
+        let expected_comm = std::option::extract(&mut ristretto255::new_point_from_bytes(A_COMM));
+        assert!(point_equals(pedersen::commitment_as_point(&comm), &expected_comm), 1);
+
+        assert!(verify_range_proof_pedersen(
+            &comm,
+            &range_proof_from_bytes(A_RANGE_PROOF_PEDERSEN), MAX_RANGE_BITS, A_DST), 1);
+    }
+
+    #[test(fx = @std)]
+    fun test_invalid_range_proof_fails_verification(fx: signer) {
+        features::change_feature_flags_for_testing(&fx, vector[ features::get_bulletproofs_feature() ], vector[]);
+
+        let comm = ristretto255::new_point_from_bytes(A_COMM);
+        let comm = std::option::extract(&mut comm);
+        let comm = pedersen::commitment_from_point(comm);
+
+        // Take a valid proof...
+        let range_proof_invalid = A_RANGE_PROOF_PEDERSEN;
+
+        // ...and modify a byte in the middle of the proof
+        let pos = std::vector::length(&range_proof_invalid) / 2;
+        let byte = std::vector::borrow_mut(&mut range_proof_invalid, pos);
+        *byte = *byte + 1;
+
+        assert!(verify_range_proof_pedersen(
+            &comm,
+            &range_proof_from_bytes(range_proof_invalid), MAX_RANGE_BITS, A_DST) == false, 1);
+    }
+}

package/template/101/movement-template/contracts/counter/build/counter/sources/dependencies/AptosStdlib/ristretto255_elgamal.move

@@ -0,0 +1,234 @@
+/// This module implements an ElGamal encryption API, over the Ristretto255 curve, that can be used with the
+/// Bulletproofs module.
+///
+/// An ElGamal *ciphertext* is an encryption of a value `v` under a basepoint `G` and public key `Y = sk * G`, where `sk`
+/// is the corresponding secret key, is `(v * G + r * Y, r * G)`, for a random scalar `r`.
+///
+/// Note that we place the value `v` "in the exponent" of `G` so that ciphertexts are additively homomorphic: i.e., so
+/// that `Enc_Y(v, r) + Enc_Y(v', r') = Enc_Y(v + v', r + r')` where `v, v'` are plaintext messages, `Y` is a public key and `r, r'`
+/// are the randomness of the ciphertexts.
+
+module aptos_std::ristretto255_elgamal {
+    use aptos_std::ristretto255::{Self, RistrettoPoint, Scalar, CompressedRistretto, point_compress};
+    use std::option::Option;
+    use std::vector;
+
+    //
+    // Structs
+    //
+
+    /// An ElGamal ciphertext.
+    struct Ciphertext has drop {
+        left: RistrettoPoint,   // v * G + r * Y
+        right: RistrettoPoint,  // r * G
+    }
+
+    /// A compressed ElGamal ciphertext.
+    struct CompressedCiphertext has store, copy, drop {
+        left: CompressedRistretto,
+        right: CompressedRistretto,
+    }
+
+    /// An ElGamal public key.
+    struct CompressedPubkey has store, copy, drop {
+        point: CompressedRistretto,
+    }
+
+    //
+    // Public functions
+    //
+
+    /// Creates a new public key from a serialized Ristretto255 point.
+    public fun new_pubkey_from_bytes(bytes: vector<u8>): Option<CompressedPubkey> {
+        let point = ristretto255::new_compressed_point_from_bytes(bytes);
+        if (std::option::is_some(&mut point)) {
+            let pk = CompressedPubkey {
+                point: std::option::extract(&mut point)
+            };
+            std::option::some(pk)
+        } else {
+            std::option::none<CompressedPubkey>()
+        }
+    }
+
+    /// Given an ElGamal public key `pubkey`, returns the byte representation of that public key.
+    public fun pubkey_to_bytes(pubkey: &CompressedPubkey): vector<u8> {
+        ristretto255::compressed_point_to_bytes(pubkey.point)
+    }
+
+    /// Given a public key `pubkey`, returns the underlying `RistrettoPoint` representing that key.
+    public fun pubkey_to_point(pubkey: &CompressedPubkey): RistrettoPoint {
+        ristretto255::point_decompress(&pubkey.point)
+    }
+
+    /// Given a public key, returns the underlying `CompressedRistretto` point representing that key.
+    public fun pubkey_to_compressed_point(pubkey: &CompressedPubkey): CompressedRistretto {
+        pubkey.point
+    }
+
+    /// Creates a new ciphertext from two serialized Ristretto255 points: the first 32 bytes store `r * G` while the
+    /// next 32 bytes store `v * G + r * Y`, where `Y` is the public key.
+    public fun new_ciphertext_from_bytes(bytes: vector<u8>): Option<Ciphertext> {
+        if(vector::length(&bytes) != 64) {
+            return std::option::none<Ciphertext>()
+        };
+
+        let bytes_right = vector::trim(&mut bytes, 32);
+
+        let left_point = ristretto255::new_point_from_bytes(bytes);
+        let right_point = ristretto255::new_point_from_bytes(bytes_right);
+
+        if (std::option::is_some<RistrettoPoint>(&mut left_point) && std::option::is_some<RistrettoPoint>(&mut right_point)) {
+            std::option::some<Ciphertext>(Ciphertext {
+                left: std::option::extract<RistrettoPoint>(&mut left_point),
+                right: std::option::extract<RistrettoPoint>(&mut right_point)
+            })
+        } else {
+            std::option::none<Ciphertext>()
+        }
+    }
+
+    /// Creates a new ciphertext `(val * G + 0 * Y, 0 * G) = (val * G, 0 * G)` where `G` is the Ristretto255 basepoint
+    /// and the randomness is set to zero.
+    public fun new_ciphertext_no_randomness(val: &Scalar): Ciphertext {
+        Ciphertext {
+            left: ristretto255::basepoint_mul(val),
+            right: ristretto255::point_identity(),
+        }
+    }
+
+    /// Moves a pair of Ristretto points into an ElGamal ciphertext.
+    public fun ciphertext_from_points(left: RistrettoPoint, right: RistrettoPoint): Ciphertext {
+        Ciphertext {
+            left,
+            right,
+        }
+    }
+
+    /// Moves a pair of `CompressedRistretto` points into an ElGamal ciphertext.
+    public fun ciphertext_from_compressed_points(left: CompressedRistretto, right: CompressedRistretto): CompressedCiphertext {
+        CompressedCiphertext {
+            left,
+            right,
+        }
+    }
+
+    /// Given a ciphertext `ct`, serializes that ciphertext into bytes.
+    public fun ciphertext_to_bytes(ct: &Ciphertext): vector<u8> {
+        let bytes_left = ristretto255::point_to_bytes(&ristretto255::point_compress(&ct.left));
+        let bytes_right = ristretto255::point_to_bytes(&ristretto255::point_compress(&ct.right));
+        let bytes = vector::empty<u8>();
+        vector::append<u8>(&mut bytes, bytes_left);
+        vector::append<u8>(&mut bytes, bytes_right);
+        bytes
+    }
+
+    /// Moves the ciphertext into a pair of `RistrettoPoint`'s.
+    public fun ciphertext_into_points(c: Ciphertext): (RistrettoPoint, RistrettoPoint) {
+        let Ciphertext { left, right } = c;
+        (left, right)
+    }
+
+    /// Returns the pair of `RistrettoPoint`'s representing the ciphertext.
+    public fun ciphertext_as_points(c: &Ciphertext): (&RistrettoPoint, &RistrettoPoint) {
+        (&c.left, &c.right)
+    }
+
+    /// Creates a new compressed ciphertext from a decompressed ciphertext.
+    public fun compress_ciphertext(ct: &Ciphertext): CompressedCiphertext {
+        CompressedCiphertext {
+            left: point_compress(&ct.left),
+            right: point_compress(&ct.right),
+        }
+    }
+
+    /// Creates a new decompressed ciphertext from a compressed ciphertext.
+    public fun decompress_ciphertext(ct: &CompressedCiphertext): Ciphertext {
+        Ciphertext {
+            left: ristretto255::point_decompress(&ct.left),
+            right: ristretto255::point_decompress(&ct.right),
+        }
+    }
+
+    /// Homomorphically combines two ciphertexts `lhs` and `rhs` as `lhs + rhs`.
+    /// Useful for re-randomizing the ciphertext or updating the committed value.
+    public fun ciphertext_add(lhs: &Ciphertext, rhs: &Ciphertext): Ciphertext {
+        Ciphertext {
+            left: ristretto255::point_add(&lhs.left, &rhs.left),
+            right: ristretto255::point_add(&lhs.right, &rhs.right),
+        }
+    }
+
+    /// Like `ciphertext_add` but assigns `lhs = lhs + rhs`.
+    public fun ciphertext_add_assign(lhs: &mut Ciphertext, rhs: &Ciphertext) {
+        ristretto255::point_add_assign(&mut lhs.left, &rhs.left);
+        ristretto255::point_add_assign(&mut lhs.right, &rhs.right);
+    }
+
+    /// Homomorphically combines two ciphertexts `lhs` and `rhs` as `lhs - rhs`.
+    /// Useful for re-randomizing the ciphertext or updating the committed value.
+    public fun ciphertext_sub(lhs: &Ciphertext, rhs: &Ciphertext): Ciphertext {
+        Ciphertext {
+            left: ristretto255::point_sub(&lhs.left, &rhs.left),
+            right: ristretto255::point_sub(&lhs.right, &rhs.right),
+        }
+    }
+
+    /// Like `ciphertext_add` but assigns `lhs = lhs - rhs`.
+    public fun ciphertext_sub_assign(lhs: &mut Ciphertext, rhs: &Ciphertext) {
+        ristretto255::point_sub_assign(&mut lhs.left, &rhs.left);
+        ristretto255::point_sub_assign(&mut lhs.right, &rhs.right);
+    }
+
+    /// Creates a copy of this ciphertext.
+    public fun ciphertext_clone(c: &Ciphertext): Ciphertext {
+        Ciphertext {
+            left: ristretto255::point_clone(&c.left),
+            right: ristretto255::point_clone(&c.right),
+        }
+    }
+
+    /// Returns true if the two ciphertexts are identical: i.e., same value and same randomness.
+    public fun ciphertext_equals(lhs: &Ciphertext, rhs: &Ciphertext): bool {
+        ristretto255::point_equals(&lhs.left, &rhs.left) &&
+        ristretto255::point_equals(&lhs.right, &rhs.right)
+    }
+
+    /// Returns the `RistrettoPoint` in the ciphertext which contains the encrypted value in the exponent.
+    public fun get_value_component(ct: &Ciphertext): &RistrettoPoint {
+        &ct.left
+    }
+
+    //
+    // Test-only functions
+    //
+
+    #[test_only]
+    /// Given an ElGamal secret key `sk`, returns the corresponding ElGamal public key as `sk * G`.
+    public fun pubkey_from_secret_key(sk: &Scalar): CompressedPubkey {
+        let point = ristretto255::basepoint_mul(sk);
+        CompressedPubkey {
+            point: point_compress(&point)
+        }
+    }
+
+    #[test_only]
+    /// Returns a ciphertext (v * point + r * pubkey, r * point) where `point` is *any* Ristretto255 point,
+    /// `pubkey` is the public key and `r` is the randomness.
+    public fun new_ciphertext(v: &Scalar, point: &RistrettoPoint, r: &Scalar, pubkey: &CompressedPubkey): Ciphertext {
+        Ciphertext {
+            left: ristretto255::double_scalar_mul(v, point, r, &pubkey_to_point(pubkey)),
+            right: ristretto255::point_mul(point, r),
+        }
+    }
+
+    #[test_only]
+    /// Returns a ciphertext (v * basepoint + r * pubkey, r * basepoint) where `basepoint` is the Ristretto255 basepoint
+    /// `pubkey` is the public key and `r` is the randomness.
+    public fun new_ciphertext_with_basepoint(v: &Scalar, r: &Scalar, pubkey: &CompressedPubkey): Ciphertext {
+        Ciphertext {
+            left: ristretto255::basepoint_double_mul(r, &pubkey_to_point(pubkey), v),
+            right: ristretto255::basepoint_mul(r),
+        }
+    }
+}

package/template/101/movement-template/contracts/counter/build/counter/sources/dependencies/AptosStdlib/ristretto255_pedersen.move

@@ -0,0 +1,158 @@
+/// This module implements a Pedersen commitment API, over the Ristretto255 curve, that can be used with the
+/// Bulletproofs module.
+///
+/// A Pedersen commitment to a value `v` under _commitment key_ `(g, h)` is `v * g + r * h`, for a random scalar `r`.
+
+module aptos_std::ristretto255_pedersen {
+    use aptos_std::ristretto255::{Self, RistrettoPoint, Scalar, CompressedRistretto, point_compress};
+    use std::option::Option;
+
+    //
+    // Constants
+    //
+
+    /// The default Pedersen randomness base `h` used in our underlying Bulletproofs library.
+    /// This is obtained by hashing the compressed Ristretto255 basepoint using SHA3-512 (not SHA2-512).
+    const BULLETPROOF_DEFAULT_PEDERSEN_RAND_BASE : vector<u8> = x"8c9240b456a9e6dc65c377a1048d745f94a08cdb7f44cbcd7b46f34048871134";
+
+    //
+    // Structs
+    //
+
+    /// A Pedersen commitment to some value with some randomness.
+    struct Commitment has drop {
+        point: RistrettoPoint,
+    }
+
+    //
+    // Public functions
+    //
+
+    /// Creates a new public key from a serialized Ristretto255 point.
+    public fun new_commitment_from_bytes(bytes: vector<u8>): Option<Commitment> {
+        let point = ristretto255::new_point_from_bytes(bytes);
+        if (std::option::is_some(&mut point)) {
+            let comm = Commitment {
+                point: std::option::extract(&mut point)
+            };
+            std::option::some(comm)
+        } else {
+            std::option::none<Commitment>()
+        }
+    }
+
+    /// Returns a commitment as a serialized byte array
+    public fun commitment_to_bytes(comm: &Commitment): vector<u8> {
+        ristretto255::point_to_bytes(&ristretto255::point_compress(&comm.point))
+    }
+
+    /// Moves a Ristretto point into a Pedersen commitment.
+    public fun commitment_from_point(point: RistrettoPoint): Commitment {
+        Commitment {
+            point
+        }
+    }
+
+    /// Deserializes a commitment from a compressed Ristretto point.
+    public fun commitment_from_compressed(point: &CompressedRistretto): Commitment {
+        Commitment {
+            point: ristretto255::point_decompress(point)
+        }
+    }
+
+    /// Returns a commitment `v * val_base + r * rand_base` where `(val_base, rand_base)` is the commitment key.
+    public fun new_commitment(v: &Scalar, val_base: &RistrettoPoint, r: &Scalar, rand_base: &RistrettoPoint): Commitment {
+        Commitment {
+            point: ristretto255::double_scalar_mul(v, val_base, r, rand_base)
+        }
+    }
+
+    /// Returns a commitment `v * G + r * rand_base` where `G` is the Ristretto255 basepoint.
+    public fun new_commitment_with_basepoint(v: &Scalar, r: &Scalar, rand_base: &RistrettoPoint): Commitment {
+        Commitment {
+            point: ristretto255::basepoint_double_mul(r, rand_base, v)
+        }
+    }
+
+    /// Returns a commitment `v * G + r * H` where `G` is the Ristretto255 basepoint and `H` is the default randomness
+    /// base used in the Bulletproofs library (i.e., `BULLETPROOF_DEFAULT_PEDERSEN_RAND_BASE`).
+    public fun new_commitment_for_bulletproof(v: &Scalar, r: &Scalar): Commitment {
+        let rand_base = ristretto255::new_point_from_bytes(BULLETPROOF_DEFAULT_PEDERSEN_RAND_BASE);
+        let rand_base = std::option::extract(&mut rand_base);
+
+        Commitment {
+            point: ristretto255::basepoint_double_mul(r, &rand_base, v)
+        }
+    }
+
+    /// Homomorphically combines two commitments `lhs` and `rhs` as `lhs + rhs`.
+    /// Useful for re-randomizing the commitment or updating the committed value.
+    public fun commitment_add(lhs: &Commitment, rhs: &Commitment): Commitment {
+        Commitment {
+            point: ristretto255::point_add(&lhs.point, &rhs.point)
+        }
+    }
+
+    /// Like `commitment_add` but assigns `lhs = lhs + rhs`.
+    public fun commitment_add_assign(lhs: &mut Commitment, rhs: &Commitment) {
+        ristretto255::point_add_assign(&mut lhs.point, &rhs.point);
+    }
+
+    /// Homomorphically combines two commitments `lhs` and `rhs` as `lhs - rhs`.
+    /// Useful for re-randomizing the commitment or updating the committed value.
+    public fun commitment_sub(lhs: &Commitment, rhs: &Commitment): Commitment {
+        Commitment {
+            point: ristretto255::point_sub(&lhs.point, &rhs.point)
+        }
+    }
+
+    /// Like `commitment_add` but assigns `lhs = lhs - rhs`.
+    public fun commitment_sub_assign(lhs: &mut Commitment, rhs: &Commitment) {
+        ristretto255::point_sub_assign(&mut lhs.point, &rhs.point);
+    }
+
+    /// Creates a copy of this commitment.
+    public fun commitment_clone(c: &Commitment): Commitment {
+        Commitment {
+            point: ristretto255::point_clone(&c.point)
+        }
+    }
+
+    /// Returns true if the two commitments are identical: i.e., same value and same randomness.
+    public fun commitment_equals(lhs: &Commitment, rhs: &Commitment): bool {
+        ristretto255::point_equals(&lhs.point, &rhs.point)
+    }
+
+    /// Returns the underlying elliptic curve point representing the commitment as an in-memory `RistrettoPoint`.
+    public fun commitment_as_point(c: &Commitment): &RistrettoPoint {
+        &c.point
+    }
+
+    /// Returns the Pedersen commitment as a `CompressedRistretto` point.
+    public fun commitment_as_compressed_point(c: &Commitment): CompressedRistretto {
+        point_compress(&c.point)
+    }
+
+    /// Moves the Commitment into a CompressedRistretto point.
+    public fun commitment_into_point(c: Commitment): RistrettoPoint {
+        let Commitment { point } = c;
+        point
+    }
+
+    /// Moves the Commitment into a `CompressedRistretto` point.
+    public fun commitment_into_compressed_point(c: Commitment): CompressedRistretto {
+        point_compress(&c.point)
+    }
+
+    /// Returns the randomness base compatible with the Bulletproofs module.
+    ///
+    /// Recal that a Bulletproof range proof attests, in zero-knowledge, that a value `v` inside a Pedersen commitment
+    /// `v * g + r * h` is sufficiently "small" (e.g., is 32-bits wide). Here, `h` is referred to as the
+    /// "randomness base" of the commitment scheme.
+    ///
+    /// Bulletproof has a default choice for `g` and `h` and this function returns the default `h` as used in the
+    /// Bulletproofs Move module.
+    public fun randomness_base_for_bulletproof(): RistrettoPoint {
+        std::option::extract(&mut ristretto255::new_point_from_bytes(BULLETPROOF_DEFAULT_PEDERSEN_RAND_BASE))
+    }
+}