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;

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 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

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

class Stringified<T> {
    private ___stringified: T
}

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

kevincharm

alias cb="git status | head -n 1 | cut -d' ' -f 3"
alias pull='git pull origin $(cb)'
alias push='git push origin $(cb)'
alias g='git-10x'
alias b='g branch'

function _update_ps1() {
    PS1="$(~/go/bin/powerline-go -cwd-mode dironly -error $?)"
}

kevincharm

// -*- node.jz -*-

let input = ''
process.stdin.on('readable', () => input += process.stdin.read() || '')
process.stdin.on('end', () => main())

function main() {
    const lines = input.split('\n\n')
    const [begin, perform] = lines[0].split('\n')
    const initState = begin.match(/begin in state ([A-Z]+)./i)[1]

kevincharm

// -*- node.jz -*-

let input = ''
process.stdin.on('readable', () => input += process.stdin.read() || '')
process.stdin.on('end', () => main())

const EventEmitter = require('events')

class Program extends EventEmitter {
    constructor(id) {

kevincharm

// -*- node.jz -*-

/**
 *  Day 22, Part 1 & 2
 *
 *  Usage:
 *      input >> stdin >> node day22.js $PART $ITERATIONS
 *  e.g.
 *      `cat input.txt | node day22.js 2 10000000`
 */

kevincharm

// -*- node.jz -*-

const { compose, encode, decode,
    rotr, rotl, flipX, flipY, print } = require('./util')

let input = ''
process.stdin.on('readable', () => input += process.stdin.read() || '')
process.stdin.on('end', () => main())

function main() {