ZK-News - December 9th-15th, '24

β¨ ZK-Newsflash! β¨
Here are the highlights of what happened in the ZK space from December 9th to 15th, '24.
Another Big Announcement from the Aligned Foundation: Presenting $ALIGN Tokenomics and Roadmap. π
Alignoors, there's definitely no rest for the Alignment.
In the past few weeks, we've had:
β Our Mainnet Beta launch.
β Announcements about eligibility for the airdrop.
πΉ Wave 1: https://genesis.alignedfoundation.org
πΉ Wave 2: https://genesis.discord.alignedfoundation.org
πΉ Wave 3: https://genesis.galxe.alignedfoundation.org
πΉ Wave 4: Allocation to Protocol Guild, L2BEAT, and ZachXBT
β And now we have tokenomics information.
Check out the post to learn about supply, token distribution, utility, and more.
The @AlignedFndn presents $ALIGN, which will be used to accelerate Alignedβs roadmap and support its vision. This thread will introduce $ALIGN utility and tokenomics, with more information in the blog post below. pic.twitter.com/QrlZMVWSQY
β Aligned Foundation (@AlignedFndn) December 11, 2024
Attention Starknet community: a new Garaga release is out! πΊ
Garaga is SNARKs and cryptographic tooling for Cairo and Starknet.
This release brings performance improvements and full support for Noir proofs.
New Garaga release brings performance improvement and full support for @NoirLang proofs.
β Garaga (@GaragaStarknet) December 9, 2024
Install garaga pip package and try it https://t.co/udlV8QflK1
A new version of Cairo is here! π
v2.9.0 of Cairo, that Turing-complete language that allows you to write provable programs without requiring a deep understanding of the underlying ZK concepts, was recently released!
Read on to learn what changes were made. Remember that Cairo is also the smart contract language of Starknet. π
Cairo v2.9.0 is out!
β CairoLang (@CairoLang) December 9, 2024
Get into the details here: https://t.co/CxPgdbKUeQ
Groth16 using ICICLE on Android (ARM), by Ingonyama. β‘
Ingonyama shared this amazing resource.
Check out the examples and benchmarks theyβve provided.
Such interesting work by Ingonyama. Congratulations!
Groth16 using ICICLE on Android (ARM) π±
β Ingonyama (@Ingo_zk) December 9, 2024
Examples include:
@Aptos keyless, @worldcoin semaphore,
Keccak256
Benchmarks:
multiplier2: 58ms(@zkmopro) / 75ms (ingonyama)
keccak256: 3.36s(@zkmopro) / 5.29s (ingonyama)
semaphore: 211ms(@zkmopro) / 378ms (ingonyama)
Upcoming: 2x⦠pic.twitter.com/WtBJ2HvavS
Introducing Lova: A Lattice-Based Folding Scheme from Unstructured Lattices. π€―
This impressive work was presented by Duc Tu Pham, Giacomo Fenzi, Ngoc Khanh Nguyen, and Christian Knabenhans.
One important point to note is that most folding schemes known rely on the hardness of the discrete logarithm problem, which is not quantum-resistant. Unlike that approach, this alternative relies on the (unstructured) SIS assumption.
It's exciting to see how lattice-based cryptography has been developing recently. Congratulations to the authors for this outstanding work.
Our new work Lova π is out! A lattice folding scheme from unstructured lattice assumptions!
β Giacomo Fenzi (@GiacomoFenzi) December 9, 2024
See @cknabs's thread and blog post for more details, and look forward to @HyperD3rp talk at ASIACRYPT this week (thanks to @KhanhCrypto's aura)! https://t.co/Hjo0v1lMP4
Stay tuned: π¦ Twitter | π¨οΈ Telegram | πΎ Discord | π Website | π Manifesto