Geregè: zkSNARK-optimized IBC linking Starknet and Cosmos
Thread440 words31 likes
Introduces Amherst Labs' Geregè protocol, a zkSNARK-optimized IBC aimed at connecting Ethereum rollups to Cosmos chains. Walks through its four-step roadmap starting with Starknet and Cairo, then Solidity-based rollups, and compares it to zkIBC.
Key claims
Geregè verifies ed25519 signatures with zk proofs instead of on-chain curve operations to save gas
Amherst plans Solidity rollup support (Polygon zkEVM, zkSync, Scroll) by end of 2023
0/ the future is MULTI-CHAIN
IBC-enabled interoperability among #zk-rollups like @StarkWareLtd's Starknet & sovereign L1s via #zkSNARKs could be a GAME-CHANGER 🚀
a 🧵 introducing @Amherst_Labs' Geregè protocol (0/11)
1/ so what is Geregè? 🤔
#Gerege is a zkSNARKs optimized version of the Inter Blockchain Communication (IBC) protocol to scale interoperability between blockchain networks and primarily aims to connect the L2 rollups on #Ethereum with @cosmos chains
2/ @Amherst_Labs claims that the use of #zkSNARKs has enabled them to significantly increase the scalability of #IBC, while also enhancing security and reducing gas consumption
3/ @Amherst_Labs are following a four-step approach to building our platform:
🔸 Step 0: Foundation: #Cairo Architecture
🔸 Step I: Multiple Rollups: #Solidity Architecture
🔸 Step II: Decentralised Multi-Rollup #IBC
🔸 Step III: Geregè #zk-Hardware
4/ but let's have a closer look
🏗 Step 0: Foundation: Cairo Architecture
@Amherst_Labs has completed laying down some important foundations for Geregè protocol, including core architecture and zero knowledge proofs (zk-proofs) on its #IBC
5/
🏗 Step I: Multiple Rollups: Solidity Architecture
the first integration is with #StarkNet, an #Ethereum-based zk-rollup powered by #STARK technology. #StarkNet is built on the turing-complete #Cairo programming language, which the team is already familiar with...
6/ additionally, the team has strong ties to the #StarkNet community, which is why they have chosen to use #Cairo as the foundation of first #L2 integration
7/
🌟 Step II: Decentralised Multi-Rollup IBC
By the end of 2023, @Amherst_Labs plans to expand the architecture to include Solidity, the language used by the EVM compatible @0xPolygon zkEVM, zkSync & Scroll, in order to connect these networks to the @cosmos as well
8/
⚙️ Step III: Geregè zk-Hardware
Geregè Protocol achieves improved gas efficiency by using #zk-proofs to verify the validity of ed25519 signatures on zk-rollups, rather than performing the necessary curve operations within a #Solidity or #Cairo smart contract...
9/ ...additionally, @Amherst_Labs are actively working on upgrades & iterations of proof generation mechanisms that will further improve gas efficiency, such as recursive #zkSNARK systems & the potential use of hardware acceleration
10/ the approach @Amherst_Labs are taking is very similar to the #zkIBC I described in the below thread last week
x.com/expctchaos/status/1641530762305630208
11/ expanding the #IBC universe beyond @cosmos chains and enabling interoperability among rollups & sovereign L1s using zkSNARKs will be a game-changer and @Amherst_Labs are definitely among the pioneers in this space 🚀
a few $ETH & #L2 chads that might find this interesting 🫶
@ukolodny
@EliBenSasson
@odin_free
@StarkNetGod
@daddysether
@kunalgoel
@redvelvetzip
@hmalviya9
@thesaint_
@StarkNet_Aficio
@AlphaInsiders
@0xDinoEggs
@0xbilly
@0xFlips
@Starknet_OG
@StarkNetEco
@zakvasilias
1/2
@crypto_condom
@0xNurstar
@ShivanshuMadan
@Slappjakke
@3house_io
@Layer2NewsDAO
@0xgoku_
@bkiepuszewski
@zkSync_daily
@Layer2_Master
@StarknetDaily
@StarknetHouse
@galronx
@CryptoMaestro
2/2
1 image on X