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
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
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
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
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.
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
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
Tonight at the ZK Residency in Vietnam we have a few talks starting with Schnorr MPC Sequencers by @wanseoblim
Today, another awesome session on the ZK Vietnam Residency by @PrivacyScaling and @0xPARC .
First @adria0 on Plaf(Plonkish Arithmetisation Format) + Powdr and Halo2
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!!!!
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
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.comZero-knowledge gaming with BattleZips x Noir
Building games of imperfect information with Aztec’s Noir language
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 coming
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 Demo
Crypto 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
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.comScalingX 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…
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
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…
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 2nd
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
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
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
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
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
LURK: Lambda the Ultimate Recursive Knowledge
eprint.iacr.org/2023/369
Thanks to everyone who helped make this happen.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
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!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
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.
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 Kimchi
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
Join us for the #ETHPrivacy2023 hackathon and conference: A weekend of innovation, collaboration and privacy! 1/3
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.
15.5K
