*Full-stack research* at @aptoslabs tweet cyclone 🌀! Resumed.

How did we go from idea ✅ , to academic paper ✅ , to *production-ready implementation* 👨‍💻 and, finally, to deployment of on-chain randomness (twitter.com/alinush407/sta…).

Let's look at *the implementation*!

What if… verifying the execution of pairings inside SNARKs can be done much faster than already known?

Andrija Novakovic and @LiamEagen have just published a paper on this!

Let’s explore this below 🧵

1/13

We’ve been quiet the last few weeks, putting the final touches on our whitepaper and new website.

The whitepaper is under review by many of our Cosmos & Ethereum friends

And the website is now live 🎉 cycles.money

Discussions about lack of real world use cases for crypto, along with handwringing about the need for applications beyond casinos, remain in vogue.

However, we rarely see suggestions for new application types, mostly handwaving and complaints. 🧵

zooko🛡🦓🦓🦓 ⓩ intern ⨀ Chris Tomeo Edited so that cropping doesn't remove the logo 🙂

Many teams are working to make verifying (Super)Nova proofs onchain, practical.

This path lead us to build on of the implementation of HyperKZG from Srinath Setty and Greg Zaverucha, an adaptation of the Gemini PCS for Nova with key optimizations.

github.com/lurk-lab/areci……

apriori Albi Albi, this is a fantasic overview of protocols and reasoning. Thanks, apriori, for posting. I thought I would post a few notes based on the Lurk design of NIVC based zkVM.

In the IVC model, defining the evaluation model of the VM as a universal circuit allows us to treat…

Awesome talk by Albi at zk11

Compiling to zkVMs

For the curious mind, see a brief summary of some of his research.

research.anoma.net/t/compiling-to…

x.com/i/article/1777…

In Athens for zk11. Will be at ZK Accelerate as well. As always love to discuss all things Anoma. Albi & Yulia will be around as well.

If you are interested in working with us as a research cryptographer Heliax let’s connect.

heliax.dev/jobs/research-…

Class groups (i.e., ideal class groups of imaginary quadratic fields) have found a few interesting applications in threshold crypto, MPC, & fairness.
While it is a problem with a long history, we still do not want good implementation. And, we need them. [1/2]