HarryR

// Copyright (c) 2018 HarryR
// License: LGPL-3.0+

pragma solidity ^0.5.0;

/**
* Implements MiMC-p/p over the altBN scalar field used by zkSNARKs
*
* See: https://eprint.iacr.org/2016/492.pdf
*

HarryR

{
	"linkReferences": {},
	"object": "6060604052341561000f57600080fd5b5b6102338061001f6000396000f300606060405263ffffffff7c0100000000000000000000000000000000000000000000000000000000600035041663eca135cb811461003d575b600080fd5b341561004857600080fd5b61009e60046024813581810190830135806020601f820181900481020160405190810160405281815292919060208401838380828437509496505060ff85351694602081013594506040013592506100a0915050565b005b60006001856040518082805190602001908083835b602083106100d557805182525b601f1990920191602091820191016100b5565b6001836020036101000a038019825116818451161790925250505091909101925060409150505180910390208585856040518060005260200160405260006040516020015260405193845260ff90921660208085019190915260408085019290925260608401929092526080909201915160208103908084039060008661646e5a03f1151561016357600080fd5b50506020604051035190503073ffffffffffffffffffffffffffffffffffffffff168173ffffffffffffffffffffffffffffffffffffffff161415156101a857600080fd5b3373ffffffffffffffffffffffffffffffffffffffff166108fc3073fffffffffffffffffff

HarryR

import z3
s = z3.Solver()
bvp = 256
bvs = 2**bvp
balanceOf_signer = z3.BitVec('balanceOf_signer', bvp)
wad = z3.BitVec('wad', bvp)
reward = z3.BitVec('reward', bvp)
contract_balance = z3.Int('contract_balance') # z3.IntVal((10**18) * 4.48)

# Calculate balance of user after performing withdrawal

HarryR

"""
https://cryptosith.org/michael/data/talks/2013-08-01-SIAMAG13.pdf
https://www.issac-conference.org/2015/Slides/Schost.pdf
http://www.craigcostello.com.au/pairings/PairingsForBeginners.pdf
"""

fresh_compute = False	# Perform expensive-(ish) computations for curve orders

field_modulus = 22369874298875696930346742206501054934775599465297184582183496627646774052458024540232479018147881220178054575403841904557897715222633333372134756426301062487682326574958588001132586331462553235407484089304633076250782629492557320825577
desired_curve_order = 258664426012969094010652733694893533536393512754914660539884262666720468348340822774968888139573360124440321458177

HarryR

field_modulus = 4002409555221667393417789825735904156556882819939007885332058136124031650490837864442687629129015664037894272559787
desired_curve_order = 52435875175126190479447740508185965837690552500527637822603658699938581184513

Fp = GF(field_modulus)

PARAM_A4 = 0
PARAM_A6 = 4

E = EllipticCurve(Fp, [PARAM_A4, PARAM_A6])
E_order = E.order()

HarryR

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.0;

contract RandomStorage {
    mapping(bytes32 => bytes32) internal data;

    event ReadEvent(bytes32 k, bytes32 v);

    constructor() {}

HarryR

// SPDX-License-Identifier: MIT

pragma solidity ^0.8.18;

contract SapphireShuffle {
    address private constant RANDOM_BYTES = 0x0100000000000000000000000000000000000001;
    
    error ErrorGeneratingRandom();

    function _random_bytes32()

HarryR

// SPDX-License-Identifier: AGPL-3.0-or-later
pragma solidity ^0.8.9;

contract WW
{
    event EncryptedResponse(bytes32 nonce, bytes data);

    event PublicKey(bytes32 x25519_public);

    struct Coupon {

HarryR

pragma solidity ^0.8.9;

contract E2Example
{
    event EncryptedResponse(bytes32 nonce, bytes data);

    event DecryptedInput(uint256 a, uint256 b, uint256 c);

    event PublicKey(bytes32 x);

HarryR

<?php

class NewRelic_Error extends Exception {}

function NewRelic_Date(DateTime $date) {
	return $date->format('Y-m-d') . 'T' . $date->format('H:i:s') . 'Z';
}

function NewRelic_Metrics2Array(SimpleXMLElement $result) {
	$return = array();