Pinned
🚀 Lurk is now the fastest zkVM 🚀
Announcing Lurk 0.5
Argument
239 posts
Argument
@argumentxyz
Accelerate Verifiable Computing
- 🚀 Exciting news! We're thrilled to announce the first crate release of Arecibo, our incubation fork of Nova. This release marks a significant milestone, completing the full SuperNova protocol integration. Check out the details! #zkproof #nova #supernova blog.lurk-lang.org/posts/arecibo-…
- 🚀 Introducing Lurk Beta: a game-changer in Zero-Knowledge Proof Programming! Check out our beta announcement for a look at its enhanced accuracy, custom features, and improved performance. Ready to redefine ZK programming? blog.lurk-lang.org/posts/lurk-bet… #zkproof #folding #zkDSL
- Formally verified ZK proofs of execution? Yatima compiler enables Lean to Lurk for recursive ZK proofs of Lean 4 execution. Absolute proof of correctness.
- (1/5) Welcome to Lurk Lab! We are the creators of Lurk, a Turing-complete programming language for recursive zk-SNARKs. Lurk is a statically scoped dialect of Lisp, implemented in Rust to support evaluation, proving, and verification in zero-knowledge.
- A BLS12-381 pairing in pure R1CS under 10M constraints? Yep.
- New blog post! (And this one is a 🔥 hot take) RISC-V ZKVMs are shaking up zero-knowledge proof development, enabling rapid prototyping and code reuse like never before! But are they secure enough for critical applications? In our latest blog post, we delve into the challenges
- It takes more than a language to go from code to proofs. So, what else are we building? - Lurk zkVM. Built as a CEK reduction machine, the Lurk zkVM has a reduced instruction set as compared with RISC-V, providing more useful compute over each cycle. - Arecibo, the
- Lurk, as a ZK proof language, comes from years of research into the nature and future interaction of data in Web3. Web3 data is fundamentally different than Web2. In Web3, systems are distributed and sometimes transparent, requiring data to be well-defined, fully-specified,
- Coming out of zkSummit, do you have folding scheme FOMO and want to learn more? We maintain a curated list of all of the resources related to folding; from research to code to content.
- 🔐💡 Dive into zero-knowledge folding schemes using the github.com/lurk-lab/aweso… repository! If you're interested in the recent avalanche of #ZeroKnowledge papers, code explorations, and podcasts, this is your go-to resource. #ZKPs #Cryptography #Blockchain #Privacy
- Recently, @Ingonyama added support for the Grumpkin curve in their Icicle GPU MSM (github.com/ingonyama-zk/i…) library which enabled us to test its performance for our prover. And we saw an immediate 3x improvement over the Sppark MSM library!
