benjiqq

Casper Purity Checker LLL Walk-through

WARNING: These are notes and are not complete, they may contain errors. They certainly contain awkward language (sorry).

These are my notes from reading the Casper LLL Purity Checker currently being reviewed here: ethereum/casper#143

Specifically, the casper/contracts/purity_checker.py file.

Preamble

benjiqq

{
  "config": {
    "chainId": 89,
    "homesteadBlock": 1,
    "eip150Block": 2,
    "eip150Hash": "0x0000000000000000000000000000000000000000000000000000000000000000",
    "eip155Block": 3,
    "eip158Block": 3,
    "byzantiumBlock": 4,
    "clique": {

benjiqq

from bisect import bisect_left, bisect_right

class TimeseriesCache(object):
    """Store a timeseries of data in memory for random access."""
    def __init__(self, ttl=None):
        self.timestamps = []
        self.data = []
        self.ttl = ttl
        
    def add(self, timestamp, data):

benjiqq

""" pyrx

Implementation of a minimal Forth interpreter/compiler on top of Python 3.6.
It is based on Rx [1] and should eventually support Retro [2].

Facts & Features:
    - New words are compiled to Python bytecode (subroutine threading model).
    - Dynamically typed: the only data type is the Python object.
    - Literals are evaluated as Python expressions.
    - The data stack is a global Python list.

benjiqq

import websocket
import hashlib
import hmac
import base64
import datetime
import json
import time
import signal
from threading import Thread

benjiqq

; Sample supervisor config file.
;
; For more information on the config file, please see:
; http://supervisord.org/configuration.html
;
; Note: shell expansion ("~" or "$HOME") is not supported. Environment
; variables can be expanded using this syntax: "%(ENV_HOME)s".

[unix_http_server]
file=/tmp/supervisor.sock ; (the path to the socket file)

benjiqq

"""
By Willem Hengeveld <[email protected]>

ecdsa implementation in python

demonstrating several 'unconventional' calculations,
like finding a public key from a signature,
and finding a private key from 2 signatures with identical 'r'
"""
# (gcd,c,d)= GCD(a, b)  ===> a*c+b*d!=gcd:

benjiqq

ZeroMQ vs Redis

This document is research for the selection of a communication platform for robot-net.

Goal

The purpose of this component is to enable rapid, reliable, and elegant communication between the various nodes of the network, including controllers, sensors, and actuators (robot drivers). It will act as the core of robot-net to create a standardized infrastructure for robot control.

Requirements:

benjiqq

package main

import (
	"bytes"
	"encoding/gob"
	"fmt"
)

type MyFace interface {
	A()

benjiqq

var request = require('request');
var unzip   = require('unzip');
var csv2    = require('csv2');

request.get('http://s3.amazonaws.com/alexa-static/top-1m.csv.zip')
    .pipe(unzip.Parse())
    .on('entry', function (entry) {
        entry.pipe(csv2()).on('data', console.log);
    })
;