I firmly believe that designing custom silicon is currently needlessly difficult. I’m also an unabashed supporter of auditable, privacy-respecting silicon.

Lastly, I’m just another programmer with a fancy camera working for a startup. The date on a page is when it was first written, not when it was last edited. Find my archived content here

For quick reference, here is the yosys manual as of July 26, 2021.

Rational Points on Elliptic Curves


Rational Points on Elliptic Curves How can we find all rational points on an elliptic curve? Knowns The Elliptic Curve(ECC) equation: \(y^2 = x^3 - 2x\) A point on the ECC: \(P_0 : (x_0, y_0)\) A Better Defined Problem Instead of trying to find all rational points on an ECC outright, how about we try to solve the following problem which appears to be better defined and might also give us the insight needed to find all rational points.…
Read more ⟶

Succinct Trig-Free Parametric Circles


Introductory Remarks Recently, I've been studying asymmetric elliptic cryptography so that I can implement a bitcoin client that can read and engage with the bitcoin blockchain. I'm also studying ECC to better enable me to reason about an election system that uses public and private keys, and signs hashed votes with private keys. The Description I came across the following description of a circle when working through this material. \[ (\frac {1 - t^2}{1 + t^2}, \frac {2t}{1 + t^2}) \]…
Read more ⟶

Setting up an SBCL Common Lisp Language Server for VsCode


This document is to help me remember how I got the following working in the SBCL REPL: C^a for (go to line beginning) C^e for (go to line ending) C^l for (clear screen) C^p or up arrow for (previous command) as well as how I got common-lisp-server vscode integration working. LispCookBook is much better suited to the task of providing an intro to programming in common lisp. Installing Steele Bank Common Lisp(SBCL) You can install SBCL with your package manager.…
Read more ⟶

Fair and Safe Elections: A Mathematical and Computational Approach


Beginning Remarks In light of what I know about the current state of computer processor backdoors and the lack of auditable silicon, I'd trust modern electronic voting systems about as far as I can throw them. In this article I claim that by: making electronic voting machines 100% auditable down to the silicon providing temporal anonymity with one way trapdoor functions that map from real ID to a public alias using a public commit/block vote chains tagged by voter public alias we can provide a free and safe election of unprecedented trustworthiness, exceeding the trustworthiness of previous paper ballot schemes, and certainly previous electronic schemes, largely because of the fact that nearly the entire process is now auditable and accountable to the ones who would be affected by it most, the people.…
Read more ⟶