public async Task ZkSnarksTest()
{
// Deploy the contract
ZkSnarkTest snarkTest = await ZkSnarkTest.New(RpcClient, new TransactionParams { From = Accounts[0], Gas = 4712388 }, Accounts[0]);
// Test adding/multiplying
var testAddResult = await snarkTest.f().Call();
Assert.IsTrue(testAddResult);
// Test simple negation + add == zero.
var testNegAddResult = await snarkTest.g().Call();
Assert.IsTrue(testNegAddResult);
// Test simple pairing example
var testSimplePair = await snarkTest.pair().Call();
Assert.IsTrue(testSimplePair);
// Test verify complex pairing
var testPairingResult = await snarkTest.verifyTx().Call();
Assert.IsTrue(testPairingResult);
}
public async Task ZkSnarksTest()
{
// Deploy the contract
ZkSnarkTest snarkTest = await ZkSnarkTest.New(RpcClient, new TransactionParams { From = Accounts[0], Gas = 4712388 }, Accounts[0]);
// Test adding/multiplying
var testAddResult = await snarkTest.f().EstimateGas();
Assert.AreEqual(65114, testAddResult);
// Test simple negation + add == zero.
var testNegAddResult = await snarkTest.g().EstimateGas();
Assert.AreEqual(24219, testNegAddResult);
// Test simple pairing example
var testSimplePair = await snarkTest.pair().EstimateGas();
Assert.AreEqual(595435, testSimplePair);
// Test pairing
var testPairingResult = await snarkTest.verifyTx().EstimateGas();
Assert.AreEqual(1927502, testPairingResult);
}
