William D. Jones cr1901

Merry's very quick guide to elliptic curve crypto

An elliptic curve is made up of the following:

	(* CanHalveEven.v *)

	Inductive Even : nat -> Prop :=
	\| Even_base : Even 0
	\| Even_step : forall n, Even n -> Even (S (S n)).

	Check Even_ind.

	Theorem can_halve_even :
	forall n, Even n -> (exists k, k + k = n).

	To make Pageant automatically run and load keys at startup:

	- Find the location of pageant.exe

	- Windows key + R to open the 'run' dialog box

	- Type: 'shell:startup' in the dialog box

	- Create a shortcut to the pageant.exe and put into this startup folder.

	package main

	// @lizrice, mostly copied from @doctor_julz: https://gist.github.com/julz/c0017fa7a40de0543001

	import (
	"fmt"
	"os"
	"os/exec"
	"syscall"
	)

	-- Floppy disk read data pulse catcher
	-- Eric Smith <[email protected]>
	-- 2016-08-02
	-- WARNING: untested

	library ieee;
	use ieee.std_logic_1164.all;
	use ieee.numeric_std.all;

	entity floppy_rd_pulse_catcher is

	user www;
	worker_processes 1;

	events {
	worker_connections 1024;
	}

	http {
	include /usr/local/etc/nginx/mime.types;
	default_type application/octet-stream;

	map $http_referer $bad_referer {
	hostnames;

	default 0;

	# Put regexes for undesired referers here
	"~social-buttons.com" 1;
	"~semalt.com" 1;
	"~kambasoft.com" 1;
	"~savetubevideo.com" 1;

	#include <unistd.h>
	#include <mach/mach.h>
	#include <mach/mach_vm.h>
	#include <mach-o/dyld.h>

	int
	main (int argc, char * argv[])
	{
	volatile char * library;
	const mach_vm_size_t page_size = getpagesize ();

	/*
	* Allows to set arbitrary speed for the serial device on Linux.
	* stty allows to set only predefined values: 9600, 19200, 38400, 57600, 115200, 230400, 460800.
	*/
	#include <stdio.h>
	#include <fcntl.h>
	#include <errno.h>
	#include <asm/termios.h>

	int main(int argc, char* argv[]) {