Skip to content

Instantly share code, notes, and snippets.

View sol_optimism.sh
#!/bin/bash
# TODO add opcodes that are not allowed
# and translate them to "invalid"
# and then check that it is not present
# in the optimized code.
# "ovmCREATE(bytes)": "14aa2ff7",
# "ovmCREATE2(bytes,bytes32)": "99ccd98b",
# "ovmCREATEEOA(bytes32,uint8,bytes32,bytes32)": "741a33eb",
View priorityQueue.sol
// Adapted from https://github.com/omgnetwork/plasma-contracts
// Licensed under Apache License 2.0
// SPDX-License-Identifier: Apache-2.0
export { Queue, insert, pop, min, defaultLessThanMemory, defaultLessThanStorage }
struct Queue<T> {
T[] heap;
function(T memory, T storage) internal view returns (bool) lessThanMemory;
function(T storage, T storage) internal view returns (bool) lessThanStorage;
View Oracle.sol
struct Query
{
uint id;
function(uint, bytes memory) external callback;
}
contract Oracle
{
event Queried(bytes,function(uint, bytes memory) external);
View Token.sol
// unmodified
contract Token {
uint8 public decimals = 18;
string public name;
uint256 public lastTouched;
address public hub;
address public owner;
@chriseth
chriseth / debugdata.json
Created Jul 2, 2020
Function entry point information
View debugdata.json
[
{
"entryPoint": 399,
"id": 42,
"paramStackSlots": 2,
"returnStackSlots": 0
},
{
"entryPoint": 408,
"id": 35,
@chriseth
chriseth / analysis.cpp
Last active May 18, 2020
runtime jump validation
View analysis.cpp
#include <iostream>
#include <vector>
#include <optional>
#include <assert.h>
using namespace std;
uint8_t constexpr PUSH = 0x60;
uint8_t constexpr JUMPDEST = 0x5b;
uint8_t constexpr BEGINSUB = 0xb5;
@chriseth
chriseth / gist:c95c20393e0dd1063d4366983b4bc4c9
Created May 29, 2019
Solidity to EWasm code generation
View gist:c95c20393e0dd1063d4366983b4bc4c9
Solidity code:
contract c {
function f(uint x) internal returns (uint) {
while (x > 0)
return 2 * f(x - 1);
}
}
Yul IR:
View ERC20.yul
/*******************************************************
* WARNING *
* Solidity to Yul compilation is still EXPERIMENTAL *
* It can result in LOSS OF FUNDS or worse *
* !USE AT YOUR OWN RISK! *
*******************************************************/
object "ERC20_396" {
code {
{
@chriseth
chriseth / input.sol
Created Apr 17, 2019
Sol to Yul compiler
View input.sol
contract C {
function f() public pure returns (uint x) { x = 7; }
}
View create.sol
uint salt = 0x123;
bool success;
// order matters!
bytes memory p = abi.encode(param1, ..., paramn);
bytes memory c = type(C).creationCode;
assembly {
function memCopyPadded(from, to, length) {
for { let i := 0 } lt(i, length) { i := add(i, 0x20) } {
mstore(to, mload(from))
to := add(to, 0x20)