The problem
Writing ZK circuits is specialist work — the languages (Circom, Cairo, etc.) constrain expressiveness for provability reasons. General-purpose ZK development requires a language that is Turing-complete and provable, and the compilation infrastructure to make it fast.
What we built
AR Data contributed engineering on Lurk and its execution stack — a general-purpose ZK-friendly programming language that lets developers write in a familiar Lisp-family syntax and get provable computation without hand-writing circuits.
Results
- General-purpose ZK language
- Turing-complete provable computation
- Familiar syntax for developers
- Contributions to Arecibo SuperNova
Tech stack
RustLispWebAssemblyHalo2
Want a case study like this?
30 minutes. We scope the real problem and figure out what to build.
Book a call