ssadler

// SPDX-License-Identifier: UNLICENSED
pragma solidity ^0.8.16;

library Balance {

  uint constant internal BALBITS = 35;
  uint constant internal EXPBITS = 5;
  uint constant internal BALMAX = 2**35-1;
  uint constant internal BALMAXS = 2**34-1;
  uint constant internal SIGNED = 2**39;

ssadler

// See blog post: https://ssadler.substack.com/p/contract-provenance-verification-175

interface IProvenance {
  function getProvenanceData() external returns (uint salt, bytes32 codeHash);
}

contract Provenance is IProvenance {
  bytes32 immutable _salt;
  bytes32 immutable _codeHash;

ssadler

pragma solidity ^0.8.16;                                                       
                                                                               
import '../lib/diamond-3-hardhat/contracts/facets/DiamondCutFacet.sol';        
import '../lib/diamond-3-hardhat/contracts/facets/OwnershipFacet.sol';         
import '../lib/diamond-3-hardhat/contracts/facets/DiamondLoupeFacet.sol';      
import '../lib/diamond-3-hardhat/contracts/libraries/LibDiamond.sol';          
import '../lib/diamond-3-hardhat/contracts/interfaces/IERC165.sol';            
import '../lib/diamond-3-hardhat/contracts/interfaces/IERC173.sol';            
                                                                               
contract QueryDiamond is OwnershipFacet, DiamondCutFacet, DiamondLoupeFacet {

ssadler

-- Maple data structure concept
-- Scott Sadler, 18/01/21

-- Int is an Ethereum 32 bit word
-- Sometimes entities appear denormalized but should all be referenced by ID, either numeric or hash, depending on context
-- Fields like created, modified date not present
-- Nearly all of this was garnered from the "how-can-i-borrow-on-maple" page
-- 

ssadler

#!/usr/bin/env python3
import binascii
import gevent
import struct
from gevent import socket


def init_peer(peer, port):
    sends = socket.socket(socket.AF_INET, socket.SOCK_STREAM)
    sends.connect(peer)

ssadler

module SaplingSigHash where

import Data.Serialize
import Zeno.Prelude
import Zeno.Data.Hex
import qualified Haskoin as H
import Network.Komodo

import Network.ZCash.Sapling

ssadler

module TestSecp256k1 where

import Network.Komodo

import Control.Monad
import Data.Serialize
import Network.Ethereum.Crypto

import Control.Concurrent

ssadler

import Data.Word
import Control.Monad
import Control.Monad.Catch
import Test.DejaFu
import Test.DejaFu.Conc.Internal.Common
import Test.DejaFu.Conc.Internal.STM

import Control.Monad.Conc.Class
import Control.Concurrent.Classy hiding (wait)

ssadler

Keybase proof

I hereby claim:

• I am ssadler on github.
• I am ssadler (https://keybase.io/ssadler) on keybase.
• I have a public key ASA0-TnWdTImafF2eh7bsdX_59JUJoxR0c80on-6wpLqzAo

To claim this, I am signing this object:

ssadler

import Data.List (nub)
import Control.Monad
import System.Environment



main = getArgs >>= compressedFactors . read . head . (++["20"])

-- | Reduce the number of factors needed to create a number