Skip to main content
Algorizk

Selected work

Research that ends in something testable.

Algorizk works across protocol design, mathematical verification, software implementation, and FPGA architecture. These projects show how we move from an abstract technical problem toward measurable, reviewable artifacts.

FPGA · Sumcheck · Mersenne-31

Hardware-validated M31 Sumcheck prover

A complete FPGA case study taking a canonical-basis Sumcheck architecture through arithmetic design, memory organization, verification, place-and-route, and physical execution.

Read case study →
  • 3,764 core cycles
  • 37.6 μs @ 100 MHz
  • 120 MHz timing closure

Research · M31 · Polynomial algorithms

Degree filtration and domain-tower FFTs

Research on polynomial representations and evaluation structures over Mersenne-31, connecting algebraic structure to efficient computation and implementation.

Read research →
  • Mersenne-31
  • FFT / evaluation
  • research + implementation

Lean 4 · Assurance · Cryptography

Machine-checked cryptographic components

Formalization of mathematical definitions, finite-field identities, protocol components, and correctness boundaries using Lean 4.

Explore formal verification →
  • Lean 4
  • explicit assumptions
  • machine-checked proofs

What we can engage on

Difficult technical problems at the boundary of math and systems.

  • Post-quantum and zero-knowledge proof systems
  • Sumcheck, FRI, polynomial protocols, and finite fields
  • Lean 4 formal verification
  • FPGA architecture and RTL validation
  • Hardware/software co-design
  • Performance, latency, memory, and resource analysis

Start with the technical question

You do not need a fully specified project before talking to us.

A first engagement can be a focused technical assessment: define the bottleneck, examine the relevant literature and architecture, identify the highest-leverage approach, and determine whether a prototype or deeper R&D effort is justified.

Discuss a technical problem

Start a conversation

Have a difficult research problem?

Tell us what you are trying to prove, optimize, or implement. We can begin with a focused technical assessment of the problem, risks, and possible research directions.

Screened inquiries

Submit a concise, non-confidential description through the dedicated project inquiry form.

Direct contact information and a secure communication channel can be provided after the initial inquiry has been reviewed.

Submit a project inquiry