Lurk: A Turing-Complete Lisp Dialect for zk-SNARKs
By
diggan
The bagel they save for the regulars. Don't skim, savour.
Summary
Lurk is a Turing-complete programming language designed for zk-SNARKs, featuring static scoping and influences from Scheme and Common Lisp. Its unique capability allows the correct execution of programs to be directly proved using SNARKs, producing succinct proofs that are small, quick to verify, and reveal only explicitly stated information.
Key quotes
· 3 pulledLurk is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.
The correct execution of Lurk programs can be directly proved using SNARKs.
The resulting proofs are succinct: they are relatively small, can be verified quickly, and they reveal only the information explicitly contained in the statement to be proved.
You might also wanna read
Four practical steps to control Azure Foundry token costs for agentic AI workloads
This article provides practical guidance on controlling token costs in Microsoft Azure Foundry, particularly for agentic AI workloads where
purplefrogsystems.com·43m ago
MerLean-Prover: A Recursive Agent Harness for Lean 4 Theorem Proving Outperforms Baselines
MerLean-Prover is an end-to-end Lean4 theorem prover that replaces 'sorry' declarations with kernel-checkable proofs using three agent types
arxiv.org·50m ago
Why small pull request policies can backfire on software quality
The article critiques a common software engineering policy that limits pull requests (PRs) to small sizes (e.g., 500 lines, few files). Whil
apenwarr.ca·2h ago
How Anthropic contains Claude's expanding access across its products
Anthropic describes how it has evolved its approach to granting Claude, its AI assistant, increasingly broad access to internal systems over
anthropic.com·4h ago
Testing Cursor's Jira integration: How ticket quality affects AI agent performance
Cursor launched a Jira integration that lets developers assign tickets directly to an AI agent, eliminating context switching. The author te
bit.ly·4h ago
Netflix engineer's open-source tool cuts AI token usage by up to 90%
Netflix senior engineer Tejas Chopra created software called "Project Headroom" that prunes redundant tokens from AI agent instructions befo
theregister.com·4h ago