Discover products

Evaluate a degree-n polynomial with about n/2 multiplications. Type a polynomial, pick ℚ, ℝ, ℂ, a Mersenne prime or a binary field, and get the preprocessed evaluation chain as math, C code or a circuit — everything runs in your browser.

A reverse proxy that detects recursive agent loops and enforces spend caps in volatile memory, without retaining prompt payloads.

Explore 3D Enigma models, follow their electrical circuits and rotor mechanisms, and learn how the machines were used.

An open-source AI agent that designs, documents and validates real PCBs from a prompt.

Describe an electronics project in plain language. EasyCircuit creates the circuit, finds the right parts, and guides your first build. No electronics experience needed.

zkGolf is a competition to build the cheapest zero-knowledge circuits, proven correct in Lean 4. Pick a challenge.

A TypeScript HDL where npm is your testbench — from logic gates to a RISC-V CPU. Test circuits against real.