All posts

Learn About: Kimchi Proofs

Aligned is designed to verify any proof system efficiently and for a fraction of the cost in Ethereum. Kimchi is the proof system at the heart of Mina. Do you want to know what makes Kimchi special? Mina is a succinct blockchain. It generates proofs for each block,  allowing any

Aligning an interoperable multi-chain future with ZK

The future of crypto is increasingly multi-chain. Blockchains are a powerful new platform for developers to build decentralized and trustless applications, but their properties place limits on scalability. To address this, we have seen an explosion in the number of blockchains, which has increased the global supply of blockspace

What does a ZK Verification Layer do?

Aligned is a ZK verification layer for Ethereum. But what does a ZK verification layer do? Why is it needed? Read on to find out! Ethereum is achieving scalability through a rollup-centric roadmap. There are two types of rollups: optimistic and ZK. Basically, we move execution to rollups, which

ZK-News - 5th-11th August '24

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 5th - 11th August. ZK Hack Montreal was a huge success! 🎉 The event took place from August 9th to 11th. We are very happy to have met a lot of Aligned attendees in Montreal. ZK is

Exploring ZK Proofs: A Focus on the Groth16 proof system

Aligned is designed to verify every proof system. Groth16 was one of the first efficient proof systems. It's used by projects like Zcash, Worldcoin, RISC Zero, and SP1 by Succinct Labs. At the core of Groth16 lie pairing-friendly elliptic curves, such as BN254 and BLS12-381. These

ZK-News - 29th July-4th August '24

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 29th July - 4th August. We posted a recap of our highlights for July. ✅ New partnerships, X spaces, podcasts, events, and original technical content. If you only read one thread today - make it this one! The

Aligned Monthly Recap - July '24

The past month has been full of exciting updates. 🎉 Check out this thread for a recap of the highlights! ✅ New partnerships. ✅ Multiple spaces and podcasts. ✅ Our participation in various events. ✅ And technical material. Enjoy! ✅ Let's start with our new partnerships: 🔹 Aligned Partnerships Recap: 018 -> Nodekit. This partnership

ZK-News - 22nd-28th July '24

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 22nd - 28th July. Interested in TEEs and ZK? We co-hosted this Space with Automata Network to discuss the topic in more detail. 🎉 Speakers from: ✅ Ten Protocol. ✅ Phala Network. ✅ Gwyneth. ✅ Vanishree Rao. ✅ And more. If

Aligned Partners with 3Ml Labs

We are thrilled to announce a strategic partnership between 3Ml Labs and Aligned! This collaboration aims to introduce innovative solutions to some of the most pressing challenges in zero-knowledge (ZK) technology and cryptography. 3Ml Labs, renowned for its cutting-edge research in cryptography, will join forces with Aligned to

Aligned: The Integrity Layer

Aligned is designed to verify zk proofs cheaply, with high throughput and low latency. However, any existing mechanism that can guarantee computation integrity can be used in Aligned. For example, trusted Execution Environments (TEEs) like SGX, can also provide an efficient way to guarantee a computation was done correctly. This

ZK-News - 15th-21st July '24

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 15th - 21st July. First of all, let's recap our participation at EthCC. 🥳 ✅ Here you'll find some highlights of our co-founders, Diego Kingston and Mauro Toscano. ✅ What happened at Lambda Hack

ZK-News - 8th-14th July '24

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 8th - 14th July. We hosted an amazing X Space with Mina Protocol. 💜 It provided details about our recently announced partnership. (Mina will verify their Ethereum proofs with Aligned!) ✅ We will be diving into the depths

ZK-News - 1st-7th July '24

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 1st - 7th July. We’re thrilled to have announced our partnership with Mina! ✅ Aligned will help Mina verify Ethereum proofs more efficiently, making the ‘Proof of Everything’ more accessible. This is a big step forward

All the proof aggregation solutions will use RISC-V zkVMs

In recent months, we have witnessed the development and enhancement of general proving virtual machines such as Risc0, Valida, Jolt, and SP1. These innovations allow users to write ordinary code in languages like Rust or C and generate proofs demonstrating the integrity of computations. This evolution is poised to transform

ZK-News - 24th-30th June '24

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 24th - 30th June. We are excited to announce our Aligned Bounty Program at Lambda Hack Week 2. ✨ The second Lambda Hack Week is almost here, and we are offering a prize pool for projects building

Elliptic Curve Pairings

Elliptic curve pairings play an important role in Ethereum’s Proof of Stake and in proof systems such as Groth16 and Plonk. They allow us to perform some sort of encrypted multiplication, crucial to aggregatable signatures and some polynomial commitment schemes. However, pairings seem shrouded in mystery and complexity. Read

Aligned Bounties Lambda Hack Week 2

The second Lambda Hack Week is nearly here, and we are offering a prize pool for projects building on top of Aligned. Only a few spots remaining! Click here to register! 📆 July 6th to 9th 2024📍 Brussels. Our bounties will be awarded to projects that build innovative technology using Aligned

Sumcheck Protocol

The Sumcheck protocol is an efficient tool to develop succinct arguments. It is relied upon by many proof systems, such as Lasso/Jolt by a16z crypto, HyperPlonk, Binius, Spartan, and GKR. Sumcheck was first proposed by Lund, Fortnow, Karloff, & Nisan in 1992. The sumcheck protocol is an interactive protocol

ZK-News - 17th-23th June '24

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 17th - 23th June. Aligned Testnet 3 : Our first EigenLayer AVS opened to external operators. ✅ This week was huge for Aligned. A very significant milestone in our journey towards mass adoption of ZK proofs on Ethereum.

Aligned Testnet 3: Our first EigenLayer AVS open to external operators

We are excited to announce the launch of our third testnet, marking a significant advancement in the adoption of zero-knowledge (ZK) proofs on Ethereum. This is our first public testnet open to third party operators for our EigenLayer AVS. We invite you to work with us towards our goal

ZK-News - 10th-16th June '24

✨ ZK-Newsflash! ✨ Here are the highlights of what happened in the ZK space last week, 10th - 16th June. Our Co-founder and Head of Research, Diego Kingston, gave a fascinating talk on hash-based proof systems at ZuBerlin. 📒 The talk delved into various aspects, including proof sizes, the benefit of

What are ZK-SNARKs?

SNARKs have gained considerable attention recently due to their broad utility in areas such as blockchain scalability, identity mechanisms, verifiable machine learning, and fighting against misinformation and fake news. We see new developments daily, but SNARKS have been around for a long time. SNARKs allow one party, the prover, to

✨ ZK-News! ✨

Here are the highlights of what happened in the ZK space last week, 3rd - 9th June. Gevulot Network & Aligned hosted an space about our partnership 🟩 Participants included: ✅ Teemupai, CEO and Co-founder of Gevulot. ✅ Roberto Catalán, Co-founder of Aligned. ✅ and Diego Kingston, Co-founder and Head of Research

Aligned Manifesto

We live in an era where we can no longer trust what we read, see, or even hear. Rapid advancements in artificial intelligence have accelerated the production of illusory content. Fake news and alternative facts are displayed in all formats, for any purpose, from personal vanity to political propaganda. At

Announcing the Aligned EigenLayer Testnet

Welcome to the Aligned EigenLayer testnet. This launch represents a huge step forward for our project and for the adoption of zero-knowledge (ZK) proofs. We invite you to participate in our decentralised network, and join us in working towards our goal of accelerating the Ethereum roadmap. By participating in

First Aligned Testnet in EigenLayer

Introduction Zero-knowledge and validity proofs have gained attention due to their capabilities in decentralized private computation, scaling blockchains, identity protocols, and verifiable machine learning, among others. They allow one party, the prover, to show to other parties, the verifiers, that a given statement is true in a time- and

🟩 A Fully Aligned Round: $20M Series A Round with Hack VC as lead investor 🟩

Aligned is pleased to announce a $20M fundraise led by Hack VC, with support from DAO5, L2Iterative, NomadCapital_io, FinalityCap, Symbolic VC, Theta Capital, J17, EVG Ventures, Decima fund, Protagonist, and other strategic partners and angels. We want to specially thank Alex Pack, Ed Roman, and Rodney from Hack VC

Brevis and Aligned Partner for Fast, Cost-Effective ZKP Verification on Ethereum ⚡️

We are thrilled to announce we are partnering up with Brevis, a smart Zero-Knowledge Coprocessor, as our first EigenLayer ecosystem partner. The goal is to allow Brevis to verify ZKP (Zero-Knowledge Proof) directly on Aligned to lower the verification cost of co-processing requests while at the same

A fast trust minimized intent based bridge solution for Ethereum and L2s powered by multi-proof storage proofs

Authors: Roberto Catalán and Federico Carrone Bridges are generally insecure and economically inefficient. They exhibit an asymmetry between users and bridge operators, where users can easily lose funds. We propose a bridge design that is simple, modular, and utilizes multi-storage proofs and the native messaging system between Ethereum and

Aligned

If you're interested in aligning with us: * Join our Telegram group: https://t.me/aligned_layer * Follow us on Twitter: https://x.com/alignedlayer TLDR: We're developing a layer for verification and aggregation on top of EigenLayer. This will enable cost-effective verification of any SNARK