Zero Knowledge cover image

Zero Knowledge

The Evolution of Aleo with Howard Wu & Alex Pruden

Jan 17, 2024
Anna catches up with Howard Wu, co-founder of the Aleo Network, and Alex Pruden, executive director of the Aleo Foundation. They discuss the evolution of the Aleo project, including technical decisions, breakthroughs, detours, and initial goals. They also explore the challenges of running marketplaces in the crypto industry, the introduction of Veruna as the proof system, and the transition to a hybrid consensus of proof of work and proof of stake. The podcast ends with a discussion on the network's governance plan and excitement for the upcoming mainnet launch.
01:25:18

Podcast summary created with Snipd AI

Quick takeaways

  • The evolution of the Aleo system has led to the development of the Versuna proof system, which supports multiple proofs and enables batch proofs, enhancing efficiency and compiler capabilities.
  • The tech stack of Aleo has undergone significant changes, including the adoption of Arcworks and Snark VM, allowing for a more versatile opcode layer and better upgradability through the use of Leo language that compiles down to opcodes.

Deep dives

Evolution of Alio System: Veruna Proof System

The Alio system, previously based on Marlin, has evolved into the Veruna proof system. Veruna now supports multiple proofs of the same circuit and multiple circuits simultaneously, enabling batch proofs. This advancement allows for a more efficient compiler and aggregation of statement proofs. The emphasis on generality and the ability to craft a more efficient compiler sets the Veruna proof system apart. This direction aligns with the trajectory of other ZK projects, recognizing the importance of decentralized verifiers rather than provers.

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner