kevincharm

class Stringified<T> {
    private ___stringified: T
}

interface JSON {
    stringify(
        value: any,
        replacer?: (key: string, value: any) => any,
        space?: string | number
    ): string

kevincharm

default: run

# Host rules
DOCKER_IMAGE=kevincharm/linux-x86_64-gcc-gdb:8
WORK_DIR=$$(basename `pwd`)
ROOT_DIR=`pwd`/..
DOCKER_SH=docker run -it --rm \
	-v $(ROOT_DIR):/work -w /work/$(WORK_DIR) \
	--security-opt seccomp=unconfined \
	$(DOCKER_IMAGE) /bin/bash -c

kevincharm

// SPDX-License-Identifier: Apache-2.0
pragma circom 2.0.8;

// Merge sort - another variant that uses the grand product check for multiset equality,
// but requires a random seed

include "circomlib/comparators.circom";

/// @notice Merge pre-sorted left array and pre-sorted right array.
/// @param N     number of elements

kevincharm

1. Find your address in the list
2. Copy the corresponding proof from the proof column
3. Go to https://optimistic.etherscan.io/address/0xfbf562a98ab8584178efdcfd09755ff9a1e7e3a2#writeContract
4. Click the "Connect to Web3" button (make sure you're connected with the same address as in the list)
5. Select the claim function
6. Paste your proof (remove any quotes) in the proof (bytes32[]) input
7. Click the "Write" button
8. Sign tx
9. ???
10. PROFIT!

kevincharm

// SPDX-License-Identifier: Apache-2.0
pragma solidity ^0.8;

import {BufferSlice} from "./BufferSlice.sol";

/// @title ASN1
/// @author kevincharm
/// @notice ASN.1 (DER) decoding utils
library ASN1 {
    using BufferSlice for bytes;