A little view behind the curtain, anon. You can now write provable JavaScript with Lurk. This shows why Lurk is so powerful. It took just 5 weeks to make it possible to compile JS into a JS representation of Lurk that can either be interpreted in place as JS or passed through

Provable JavaScript? Check. Users can now write programs in JavaScript, compile to LurkScript, evaluate in place or pass through Lurk to generate a proof. Getting ready for that Web2 scale ZK.

Lurk does something similar with similar results. All data and code is commitment based, including proof I/O (which is then opened and committed to at each step of computation), so with content-addressed data storage you can generate proofs of computation over arbitrarily sized

Nicolas Ramsrud Lita Wow, I haven't kept up with Lurk. That's amazing. Okay Lurk Lab is going on my study list 🤝

The future demands privacy that can scale to billions. Introducing Proofbase: the high-performance privacy layer for Ethereum. proofbase.xyz

x.com/i/article/1888…

Mass adoption scale privacy will need real-time proving. So we’re partnering with @succinctlabs to build toward that future on Proofbase!

LurkScript now works well enough to implement the Lurk standard library so far! Our modular design allows the lurk CLI REPL and prover to use the LurkScript CLI frontend to seamlessly add LurkScript support to Lurk. github.com/lurk-lab/lurk/…

👀

There is something fundamental in this that is not widely understood building stateful proof-based applications over private data is fundamentally different you cannot just wrap your program in zk this requires language level support for operating over and manipulating private

👀

we are quietly shipping, anon sneak peek at LurkOS, our provable operating system sending 100k transactions between actors yes, this is all intra-actor and without proofs, but this is just the start.

LurkOS: the provable operating system We have been heads-down over the past couple of months, building the future of private, composable, async applications. The result? LurkOS. Not just a zkVM, but a fully programmable execution environment that allows you to spawn

Lurk is how legacy systems will be brought onchain