/**
* Diffie-Hellman
* 
* Copyright:
* (C) 1999-2007 Jack Lloyd
* (C) 2014-2015 Etienne Cimon
*
* License:
* Botan is released under the Simplified BSD License (see LICENSE.md)
*/
module botan.pubkey.algo.dh;

import botan.constants;
static if (BOTAN_HAS_PUBLIC_KEY_CRYPTO && BOTAN_HAS_DIFFIE_HELLMAN):

public import botan.pubkey.algo.dl_algo;
public import botan.pubkey.pubkey;
public import botan.pubkey.algo.ec_group;
import botan.math.numbertheory.pow_mod;
import botan.pubkey.blinding;
import botan.pubkey.pk_ops;
import botan.math.numbertheory.numthry;
import botan.pubkey.workfactor;
import botan.rng.rng;
import memutils.helpers : Embed;

struct DHOptions {
    enum algoName = "DH";
    enum format = DLGroup.ANSI_X9_42;
}

/**
* This class represents Diffie-Hellman public keys.
*/
struct DHPublicKey
{
public:
    alias Options = DHOptions;
    __gshared immutable string algoName = Options.algoName;

    this(in AlgorithmIdentifier alg_id, const ref SecureVector!ubyte key_bits)
    {
		m_owned = true;
        m_pub = new DLSchemePublicKey(Options(), alg_id, key_bits);
    }

    /**
    * Construct a public key with the specified parameters.
    *
    * Params:
    *  grp = the DL group to use in the key
    *  y1 = the public value y
    */
    this(DLGroup grp, BigInt y1)
    {
		m_owned = true;
        m_pub = new DLSchemePublicKey(Options(), grp.move, y1.move);
    }

    this(PublicKey pkey) { m_pub = cast(DLSchemePublicKey) pkey; }
    this(PrivateKey pkey) { m_pub = cast(DLSchemePublicKey) pkey; }

    mixin Embed!(m_pub, m_owned);

	bool m_owned;
    DLSchemePublicKey m_pub;
}

/**
* This class represents Diffie-Hellman private keys.
*/
struct DHPrivateKey
{
public:
    alias Options = DHOptions;
    __gshared immutable string algoName = Options.algoName;

    /**
    * Load a DH private key
    * Params:
    *  alg_id = the algorithm id
    *  key_bits = the subject public key
    *  rng = a random number generator
    */
    this()(in AlgorithmIdentifier alg_id,
           auto const ref SecureVector!ubyte key_bits,
           RandomNumberGenerator rng) 
    {

		m_owned = true;
        m_priv = new DLSchemePrivateKey(Options(), alg_id, key_bits);
        if (m_priv.getY() == 0)
            m_priv.setY(powerMod(m_priv.groupG(), m_priv.getX(), m_priv.groupP()));
        m_priv.loadCheck(rng);
    }

    /**
    * Construct a private key with predetermined value.
    *
    * Params:
    *  rng = random number generator to use
    *  grp = the group to be used in the key
    *  x_arg = the key's secret value (or if zero, generate a new key)
    */
    this(RandomNumberGenerator rng, DLGroup grp, BigInt x_arg = BigInt(0))
    {
        
        const BigInt* p = &grp.getP();

        bool x_arg_0;
        if (x_arg == 0) {
            x_arg_0 = true;
            x_arg.randomize(rng, 2 * dlWorkFactor(p.bits()));
        }
        BigInt y1 = powerMod(grp.getG(), x_arg, *p);
        
		m_owned = true;
        m_priv = new DLSchemePrivateKey(Options(), grp.move, y1.move, x_arg.move);

        if (x_arg_0)
            m_priv.genCheck(rng);
        else
            m_priv.loadCheck(rng);
    }

    this(PrivateKey pkey) { m_priv = cast(DLSchemePrivateKey) pkey; }

    mixin Embed!(m_priv, m_owned);
	bool m_owned;
    DLSchemePrivateKey m_priv;


}

/**
* DH operation
*/
class DHKAOperation : KeyAgreement
{
public:
    this(in PrivateKey pkey, RandomNumberGenerator rng) {
        this(cast(DLSchemePrivateKey) pkey, rng);
    }

    this(in DHPrivateKey pkey, RandomNumberGenerator rng) {
        this(pkey.m_priv, rng);
    }

    this(in DLSchemePrivateKey dh, RandomNumberGenerator rng) 
    {
        assert(dh.algoName == DHPublicKey.algoName);
        m_p = &dh.groupP();
        m_powermod_x_p = FixedExponentPowerMod(dh.getX(), *m_p);
        BigInt k = BigInt(rng, m_p.bits() - 1);
        auto d = (*m_powermod_x_p)(inverseMod(k, *m_p));
        m_blinder = Blinder(k, d, *m_p);
    }

    override SecureVector!ubyte agree(const(ubyte)* w, size_t w_len)
    {
        BigInt input = BigInt.decode(w, w_len);
        
        if (input <= 1 || input >= *m_p - 1)
            throw new InvalidArgument("DH agreement - invalid key provided");
        
        const BigInt r = m_blinder.unblind((*m_powermod_x_p)(m_blinder.blind(input)));
        
        return BigInt.encode1363(r, m_p.bytes());
    }

private:
    const BigInt* m_p;

    FixedExponentPowerMod m_powermod_x_p;
    Blinder m_blinder;
}


static if (BOTAN_TEST):

import botan.test;
import botan.pubkey.test;
import botan.rng.auto_rng;
import botan.pubkey.pubkey;
import botan.pubkey.algo.dh;
import botan.codec.hex;
import botan.asn1.oids;
import core.atomic;
import memutils.hashmap;

private shared size_t total_tests;

size_t testPkKeygen(RandomNumberGenerator rng)
{
    size_t fails;

    string[] dh_list = ["modp/ietf/1024", "modp/ietf/2048", "modp/ietf/4096", "dsa/jce/1024"];

    foreach (dh; dh_list) {
        atomicOp!"+="(total_tests, 1);
        logDebug("1) Load private key");
		auto key = DHPrivateKey(rng, DLGroup(dh));
        logDebug("2) Check private key");
        key.checkKey(rng, true);
        logDebug("3) Validate");
        fails += validateSaveAndLoad(key, rng);
    }
    
    return fails;
}

size_t dhSigKat(string p, string g, string x, string y, string kdf, string outlen, string key)
{
    atomicOp!"+="(total_tests, 1);
	Unique!AutoSeededRNG rng = new AutoSeededRNG;
    
    BigInt p_bn = BigInt(p);
    BigInt g_bn = BigInt(g);
    BigInt x_bn = BigInt(x);
    BigInt y_bn = BigInt(y);
    auto domain = DLGroup(p_bn, g_bn);
    auto mykey = DHPrivateKey(*rng, domain.dup, x_bn.move());
    auto otherkey = DHPublicKey(domain.move, y_bn.move());
    
    if (kdf == "")
        kdf = "Raw";
    
    size_t keylen = 0;
    if (outlen != "")
        keylen = to!uint(outlen);
    
    auto kas = scoped!PKKeyAgreement(mykey, kdf);
    
    return validateKas(kas, "DH/" ~ kdf, otherkey.publicValue(), key, keylen);
}

static if (BOTAN_HAS_TESTS && !SKIP_DH_TEST) unittest
{import std.datetime;
	import core.thread : Thread;
	Thread.sleep(5.seconds);

    logDebug("Testing dh.d ...");
    size_t fails = 0;

	Unique!AutoSeededRNG rng = new AutoSeededRNG;


    File dh_sig = File("../test_data/pubkey/dh.vec", "r");
    
    fails += runTestsBb(dh_sig, "DH Kex", "K", true,
        (ref HashMap!(string, string) m) {
            return dhSigKat(m["P"], m["G"], m["X"], m["Y"], m.get("KDF"), m.get("OutLen"), m["K"]);
        });
    fails += testPkKeygen(*rng);

    testReport("DH", total_tests, fails);

}