# zkWeekly #1

> Another vibrant week on the zk and FHE scene

**Published by:** [Vamient.xyz](https://paragraph.com/@vamient-labs/)
**Published on:** 2023-03-29
**Categories:** zk, zk-weekly, zksync, fhe, fhe.org, 0xparc, privacyscaling, aztec, mach-34, kakarot, zama, scaling-x, zkevm, zk-hack, sismo, zk-connect, zkpass, lurk, nouns-dao, succinct-labs, mina, leading-privacy
**URL:** https://paragraph.com/@vamient-labs/zkweekly-1

## Content

Our team has been overwhelmed with other commitments over past couple of weeks, so this episode has come later than expected. Nevertheless, there are many things to cover (!) so we actually had decided to move couple of things to introduce on next week's episode instead to make sure our readers can actually manage to get everything consumed without falling asleep :)zkSync Era's Mainnet Alpha zkSync ∎ @zksync gm zkEVM! zkSync Era Mainnet Alpha is now open to all users. Developers, projects, and users can now experience the power of zkEVM. Read more: blog.matter-labs.io/gm-zkevm-171b1… 1/11 15.5K 20:01 • 24 Mar 2023 Renowned zk-rollup project zkSync from Matter Labs has announced the launch of their zkSync Era Mainnet Alpha. Developers can now deploy their dApp to the rollup permissionlessly with built-in account abstraction and data compression. Users can now bridge and use the rollup using the native bridge at bridge.zksync.io and other third-party bridges. As this is Alpha version, there are still centralized restrictions such as delay withdrawals and permissioned proof submissions, with vulnerabilities to be monitored and intervened closely. Users should proceed with caution. According to L2Beat, there has been over 63m TVL on the roll-up 5 days after the launch, with SyncSwap being the leading protocol according to DeFiLlama.FHE.org annual event on Tokyo FHE.org @fhe_org The 2nd annual FHE.org conference in Tokyo is off to a good start! This is exciting for the community and FHE! Join the live discussion on Discord: discord.fhe.org #HomomorphicEncryption #FHE 7 9:28 • 26 Mar 2023 Nigel Smart @SmartCryptology FHE.org conference starts in Tokyo with a great talk on a new arithmetic optimisation for gadget decomposition by a team from Hanyang University and Seoul University. 34 8:17 • 26 Mar 2023 Wyatt Benno @wyatt_benno I attended the @fhe_org event yesterday in Tokyo. It was a really good event to hear about the state-of-the-art homomorphic encryption, hardware acceleration, and business development. Here is a bit of a summary of a few that are relevant me 21 7:57 • 27 Mar 2023 The annual FHE conference from FHE.org has been organised on Tokyo during 26th March as part of Real World Crypto - the annual cryptography conference hosted by the International Association for Cryptologic Research (IACR). There have been speakers from Zama, Ethereum Foundation, Google, Cosic.be etc talking about various topics around FHE and its current development. Video of the talks haven't been uploaded yet so we can only take references from few of the threads above. The highlight for us so far has been the comment from Google's Miguel Guevara: "if the cost of FHE compared to normal computation comes down to a factor of 10, then FHE will really take off". (We wish we could have participated in the conference!)ZK Vietnam Resisdency Program AtHeartEngineer.eth @AtHeartEngineer Tonight at the ZK Residency in Vietnam we have a few talks starting with Schnorr MPC Sequencers by @wanseoblim 34 19:03 • 23 Mar 2023 CPerezz.eth ⟠ 🦀 @CPerezz19 Today, another awesome session on the ZK Vietnam Residency by @PrivacyScaling and @0xPARC . First @adria0 on Plaf(Plonkish Arithmetisation Format) + Powdr and Halo2 39 22:24 • 24 Mar 2023 CPerezz.eth ⟠ 🦀 @CPerezz19 Another great session today by @AtHeartEngineer on RLN (Rate Limiting Nullifier) in the ZK Vietnam Residency organized by @0xPARC and @PrivacyScaling !!! They're working on a new version so stay tuned in the upcomming months!!!! 16 22:23 • 27 Mar 2023 0xParc has teamed up with Ethereum Foundation's Privacy & Scaling Explorations to organize a month-long ZK Vietnam Residency program in Ho Chi Minh City for aspired zk builders and devs. @PrivacyScaling's Carlos Perez has had good summary threads of the talks and sessions. There has been no video of the talks posted online yet.Zk-gaming with Aztec Aztec @aztecnetwork One of the most promising areas in zero knowledge development is gaming. We've been working with @mach34_, the team behind Battlezips, on a series of videos and developer interviews showcasing: - their process learning ZK's - @noirlang & its features - a … medium.com Zero-knowledge gaming with BattleZips x Noir Building games of imperfect information with Aztec’s Noir language 100 9:17 • 22 Mar 2023 Aztec has posted a series of interviews with ecosystem gaming project BattleZips on how have they been building games of incomplete information utilizing Aztec's general language for zk proof Noir. There has been many interesting insights from the BatteZips developer Mach 34, including their experience of developing on Noir compared to Circom, as well as their work on zk state channel - a concept, according to them, will enable "countless use-cases across all segments of Web3".Kakarot's Testnet is cominghttps://stormy-marmoset-b1e.notion.siteKakarotKakarot is a community project that aims to provide the same value as a standard EVM (such as Arbitrum or Polygon): the ability to write Solidity smart contracts, deploy them, and interact with them with low gas fees. It is particularly comparable to zkSync2.0 or Polygon zkEVM because it has zero-knowledge properties.Kakarot - zkEVM project written in StarkNet's smart contract language Cairo - has been quietly building over last few months and are soon ready to launch their testnet - subject to their progress on RPC node as well as Q&A process.Zama's FHE-EVM Demohttps://www.loom.comZama FHE EVM DemoCrypto natives have probably heard a lot about zkEVM, but Zama has released an interesting PoC demo of a FHE-based EVM A testnet will be launched over the next few months for people to try it out, with a whitepaper coming in the summer.ScalingX x Buidlbox's zk Hackathon ScalingX @scaling_x Attention #BUILDers #ScalingX is excited to announce our 'The Hunt For X' #ZK Hackathon powered by @buidlbox It's time to showcase your skills & create a groundbreaking blockchain solution using #ZKP Tech. Registration has begun! Read More link.medium.com ScalingX and Buidlbox Partner to Host “The Hunt for X” Zero-Knowledge Tech Hackathon ScalingX, a Web3 developer community and accelerator, has teamed up with Buidlbox, a renowned blockchain hackathon platform that has helped… 12 16:15 • 23 Mar 2023 ScalingX, a Web3 developer community and accelerator, has teamed up with blockchain hackathon platform Buidlbox to host “The Hunt for X ” Hackathon, which will happen from 12/4 to 5/5. Teams or individuals will look to develop scaling solutions that leverage zk during the hackathon.Polygon's zkEVM launch on 27th March Polygon (labs) @0xPolygonLabs Today, Polygon Labs is announcing that Polygon zkEVM is fully open-source. Every single component is licensed with AGPL v3, including the zkProver, which is where all of the ZK magic happens More: go.polygon.technology/zkevm-open-sou… 1,638 21:18 • 27 Mar 2023 Polygon has finally launched and open sourced their long-awaited zkEVM. Vitalik did the first ever symbolic transaction during the launch event. There has been good feedback about the developer experience from the dev community, apart from some issues with contract verification on PolygonScan on the first couple of days. zkHack Lisbon from March 31 - April 2ndhttps://www.zklisbon.comZK Hack Lisbon - March 31On March 31 - April 2, we host ZK Hack Lisbon, our first IRL zk hackathon. At ZK Hack Lisbon, we will be hacking on zk tools, using zk DSLs, and building new products that showcase what zk can do.As part of the annual zkSummit from Zero Knowledge Podcast, they first host their first in-real-life zk hackathon, where hackers will work on zk tools, using zk DSLs, and building new applications leveraging zk. There will also be workshops happen on 1st April from the likes of Sismo, RiscZero and AlephZero.Sismo launch "sovereign SSO" zkConnect Sismo 🎭 zkConnect 💎 @Sismo_eth Today, we are proud to soft launch zkConnect - the sovereign SSO zkConnect = anon auth + selective data disclosure Resources: Demo: demo.zksub.io Docs: docs.sismo.io Builders page: build.sismo.io Beta release 407 21:20 • 16 Mar 2023 Sovereign identities powerhouse Sismo has announced zkConnect - the latest addition to their protocol suite along with ZkBadge. zkConnect allows following features: - Private authentication: utilizing the same Sismo Vault concept, allows user to authenticate privately and the app only can access vaultId from user - which is unique to the app itself so even apps can't collude to dox the user. - request private data with zk proofs: data from both Web2 and Web3 sources can be added to user's Data Vault. App can then request selective personal data (Data Gem). - both off-chain and on-chain applications can verify the proofs of the Data Gem using either Typescript package (on beta) or Solidity library (coming soon).zkPass Pre-Alpha Sneak Peek zkPass @zkPass Pre-Alpha Sneak Peek #1 Proving your Australian Citizenship without uploading any documents [Passport/Driver's License]. Generating a legal identity zkSBT by using MPC-TLS and ZKP via zkPass Protocol. Privacy-preserving Anti-cheating No API needed License-free 29 19:28 • 22 Mar 2023 Identity attestation protocol zkPass has released some sneak peak ahead of their pre-alpha testnet. By utlizing Australia government's MyGovID. zkPass's Google extension needed to be installed so proof can be generated information from MyGovID. zkPass uses random MPC nodes to check on data integrity (without being able to retrieve the data as the encryption key is owned by the user). After the zk proofs are generated, it will be sent on-chain and an zkSBT (soul-bound token) will be generated representing the succinct fact about your nationality and age (for example: Australian, > 25 years old) without disclosing the full information.Lurk announcing paper on their recursive zk-SNARK language Porçu Quine @porcuquine2 LURK: Lambda the Ultimate Recursive Knowledge eprint.iacr.org/2023/369 Thanks to everyone who helped make this happen. 75 3:25 • 17 Mar 2023 Lurk is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp, which execution can be proved by zero knowledge. They have released a paper about how they can achieve Turing-completeness for their language without compromising the size of the resulting proof.NounsDAO's Private Voting Research results Prop House 🟣 @nounsprophouse The Nouns DAO Private Voting Research Sprint round has come to an end! - 20 teams proposed - 2,000+ votes were casted by nouners - 3 teams will be getting funded $70k USD by @nounsdao Congratulations to all the winners and a big thank you to all participants! 33 22:10 • 23 Mar 2023 Following up on what we have covered on zkWeekly #0, NounsDAO has announced the 3 proposals that will get funded on their Private Voting Research Sprint, including the two that we have covered from Poisedon x 0xDigitalOil and Aztec x Aragon. The other proposal that got the funding is Nouns Vortex from Team Mizu, which details can be seen here.Succinct Labs announced zk-SNARK based interoperability protocol Telepathy Succinct @SuccinctLabs We're excited to introduce Telepathy, the first decentralized and secure zkSNARK interoperability protocol for Ethereum. Read Ethereum state on any chain with the security of Ethereum's light client protocol. Live on Mainnet today. 662 1:09 • 17 Mar 2023 Succinct Labs has finally introduced the highly-awaited zkSNARK-based interoperability protocol Telepathy. Telepathy's mechanism relies heavily on what the team called "Proof of consensus", which allows generation of zk succinct proof of Ethereum's light client protocol. With it, smart contract on another chain can run a light client and validate Ethereum state directly without relying on a middle actor like most of other interoperability design.Mina's Improvement Proposal to upgrade proof system to Kimchihttps://forums.minaprotocol.comKimchi MIP: A proposed upgrade to Mina's proof systemHello everyone, Brett Carter here, a PM at O(1) Labs. We've recently drafted an official MIP which proposes upgrading Mina's proof system to Kimchi. Take a look here to read up on the specifics: https://github.com/MinaProtocol/MIPs/pull/9/files.Brett Carter from O(1) Labs - the core developers of Mina protocol - has published a proposal to upgrade Mina's proof system to Kimchi. Kimchi is a variant of PLONK - a popular zk proof system used by zkSync and others. Kimchi would supposedly improve on Mina’s zk proof system on all dimensions, hence enable both larger and more complex applications and higher performances, at the cost of a slight increase in proof size.First ETH Privacy Hackathon announced Leading Privacy @LeadingPrivacy Join us for the #ETHPrivacy2023 hackathon and conference: A weekend of innovation, collaboration and privacy! 1/3 39 0:00 • 26 Mar 2023 Leading Privacy Alliance (LPA) is a Swiss association founded in August 2022 to raise awareness, implement solutions and educate users about privacy. LPA has announced their first ETH-focused privacy hackathon in Istanbul from 27 - 30 April. There's gonna a privacy conference hosted on the 30th as well.

## Publication Information

- [Vamient.xyz](https://paragraph.com/@vamient-labs/): Publication homepage
- [All Posts](https://paragraph.com/@vamient-labs/): More posts from this publication
- [RSS Feed](https://api.paragraph.com/blogs/rss/@vamient-labs): Subscribe to updates
- [Twitter](https://twitter.com/VamientXYZ): Follow on Twitter

## Optional

- [Collect as NFT](https://paragraph.com/@vamient-labs/zkweekly-1): Support the author by collecting this post
- [View Collectors](https://paragraph.com/@vamient-labs/zkweekly-1/collectors): See who has collected this post