Boston Agile Labs

From mathematical structure to working systems.

Our work begins with questions about how numbers behave under multiplication, digit shifts and changes of scale. We develop the mathematics, implement its constructions and investigate where the resulting structure can be useful in software.

Bellpair is the current example. It turns an exact relation between collision fingerprints into a protocol for computational work receipts. The prototype makes the construction inspectable from challenge through independent verification.

Alexander S. Petty

Founder and researcher. Alexander develops the number theory behind the collision papers and leads its translation into the lab’s technology.

The research library connects each result to its paper. Essays and the wider body of work are available on the author’s site.

Work with the lab.

For research discussion, technical collaboration or a potential application. Tell us about the system you are building or the mathematical question you want to explore.