@aptos-labs/ts-sdk 1.35.0-zeta.2 → 1.36.0

package/src/internal/move/jwks/build/jwk/sources/dependencies/AptosStdlib/ristretto255_bulletproofs.move

@@ -1,253 +0,0 @@
-/// 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/src/internal/move/jwks/build/jwk/sources/dependencies/AptosStdlib/ristretto255_elgamal.move

@@ -1,234 +0,0 @@
-/// 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/src/internal/move/jwks/build/jwk/sources/dependencies/AptosStdlib/ristretto255_pedersen.move

@@ -1,158 +0,0 @@
-/// 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))
-    }
-}