Wow, what a surprise!
Who could have thought we will become the
@ETHGlobal
Paris 23 finalists! ๐ฅณ
We presented โBob the solverโ an infrastructure for making โIntentโ based transactions on blockchain.
Congratulations
@BananaHQio
team!
Spent some time reading about client-side proving today.
@0xPolygon
Miden introduces a really interesting off-chain client-side proving mechanism.
It addresses the challenges associated with state bloat and privacy in blockchain networks very neatly. Unlike traditional
Paris, what an experience! ๐ซ๐ท
From meeting
@VitalikButerin
to winning
@ETHGlobal
Paris, and having the opportunity to reconnect with old friends while making new ones at events, it was an amazing week!
Thank you everyone who helped us and supported our team! ๐
Wrote some notes on FFlonk (used by
@0xPolygon
ZK-EVM) and how it leverages efficient polynomial commitment schemes for multiple points and polynomials[BDFG' 21]
Big shoutout to the incredible team at
@0xPolygon
Zk-EVM! ๐
Their documentation and resources are top-notch, providing clear guidance and making our understanding a breeze. ๐
Spent last night reading some chapters of "Pairings for Beginners".
It was interesting to read about algebraic geometry math concepts like torsions, weil reciprocity, embedding degrees, distortion maps and divisors.
In the context of elliptic curves, a divisor is essentially a
I recently listened to
@rel_zeta_tech
&
@AnnaRRose
discuss the "ZK SNARK trilogy" at
@zeroknowledgefm
I have tried to jot down the important points in a rough format in HackMD.
Here are some important highlights of Trilogy๐งต
In our latest research, we have introduced a mathematical approach to implement a "Decentralized Solver Architecture for Executing Intents on the EVM Blockchain."
Our work covers several key topics, including a quantitative method for optimizing intents using the concept of
Bringing FHE on EVM through ZK you said?
Yeah thats what
@NitanshuL
from
@BananaHQio
built at
@ETHGlobal
Online 2023 and made it to the topโก๏ธโก๏ธ
As a fun project, I added the verification of each step using recursive SNARKs i.e. Nova in my previous project of "Ephermal ZK L3s".
Now each iteration consists of secp256k1 signature verification using spartan ECDSA and game logic for the player. These ZK state channels can
There has been considerable confusion surrounding ZK-coprocessors. Over the past 3-4 weeks, I've been collaborating with the
@axiom_xyz
team on a solution using storage proofs. After having a conversation with the Axiom team, I cleared up some doubts. Let me share some insights.
I have been researching ZK-based storage proofs to enable various provable resolution mechanisms of intent. Merkle Mountain Ranges (MMRs) play a pivotal role in these processes.
An MMR is a data structure used to maintain a log of data elements organized in a tree-like
Using ZK for ML inference(ZKML) is extremely powerful!๐ฃ
In ML models, certain part of model is always repetitive where data is passed through similar layersโ๏ธ
Nova which is a recursive SNARK, can be used to solve this using folding scheme construction for N repeated steps ๐
In our latest research, we have introduced a mathematical approach to implement a "Decentralized Solver Architecture for Executing Intents on the EVM Blockchain."
Our work covers several key topics, including a quantitative method for optimizing intents using the concept of
We are organizing an event on โDemystifying cryptography in FHE and ZKโ.
This event is perfect for nerds who are passionate about research and want to delve deeper into the of cryptographic primitives behind FHE and ZK.
Do join us if this sounds interesting!
Register:
Last weekend, I had an engaging and informative conversation with
@0xAbix
about the distinctions between "folding schemes" and "aggregation" of zk proofs.
It was fascinating to learn how Starks are employed in zkVMs to aggregate proofs efficiently in a parallelizable fashion.
Exciting news!
@wallet_banana
will be present at
@web3conf_india
2023!
Join us as we dive deep into our research and use of ZKML, AA & recursive SNARKS schemes like Nova in Banana SDK
Also, don't miss our exclusive workshop on "Integrating Banana SDK to enable Biometric Login"
Some notes on Cyclotomic polynomials used in FHE:
They are essentially the minimal polynomials over the field of rational numbers for the primitive nth roots of unity. These polynomials, denoted as ฮฆnโ(x), are defined for each positive integer n and possess distinct,
Its hard to compress a proof or make it succinct but it was equally hard to compress a talk on a 8hr topic in 40 min! But i am glad i was able to share somethings and thanks to
@zk_bankai
!โก๏ธ
Last week, attended an excellent webinar from
@devfolio
at EIF 3.0 closing ceremony with
@anuragarjun
,
@Kautukkundan
, &
@vaibhavchellani
as speakers!
Discussion revolved around modular vs monolithic chains, execution vs settlement layer, data availability, & ZK light clients ๐งต
Weekend listโจ:
- [ Recursive SNARKs and Incrementally Verifiable Computation by
@VeridiseInc
]:
- [Panel on Folding Schemes by
@zeroknowledgefm
]:
- Play around with Nova Scotia by
@nibnalin
๐๐ก Seeking enlightenment on the mysteries of PLONK!
Calling all experts and curious minds! I've been exploring the depths of PLONK code by
@0xparc
.
Can someone please explain the last round(Round 5) in PLONK proving? Please slide into my DMs or drop your wisdom below! ๐๐
Last night had an exciting ~6hr technical discussion with
@NitanshuL
.
Its really great to have co-founders who share the same level of enthusiasm and dedication!
Bob the Solver -
@ETHGlobal
Paris Finalist ๐ซ๐ท๐ซ๐ท
Infrastructure for Intent-based transactions for better UX of wallets and dapps๐ช
๐
Congratulations Team
@BananaHQio
๐ฅณ๐ฅณ
I recently came across an interesting use case of ZKML, โOn-chain verifiable credit scoreโ.
I think Defi credit scores have been provided by many protocols from a long time but I have not seen a clear winner.
Using ZK for their calculation and getting them verified on chain
Grateful for the incredible journey of growth, learning, and exploration I experienced during my 8-week fellowship building
@wallet_banana
at EIF 3.0. Thanks to
@devfolio
and
@ETHIndiaco
for this incredible journey!!
We totally agree with this which is why at
@wallet_banana
we are providing easy onboarding through web2 friendly authentication methods like Face id and touch id with account abstraction
#ERC4337
.
@zenzhenyu
, CEO & co-founder of
@Web3Auth
is having an exciting discussion on the topic of: "Enabling Passkeys and Face-print Logins with Account Abstraction for Non-Custodial Wallets"
Come to the
#Devtopia
stage to learn something new!
#ETHDenver
When it comes to inferring ML models using ZK circuits (ZKML or Verifiable AI), there are several challenges that arise while writing the circuits in circom. ๐งฉ
It feels amazing to share that we (team PixelPolice) secured a spot among finalists
@ETHIndiaco
'23 hackathon with our project "PixelPolice"
Even more thrilled to announce that with this victory, I've finally made a hat trick ๐ for being a finalist in the
@ETHGlobal
hackathon โจ
Hey everyone๐
Part 2 of our
@0xPolygon
zkEVM blog series is here ๐
Join us as we dive deeper into the architecture, implementation model, and transaction life cycle of this cutting-edge solution ๐
Read it here๐
From claiming victory at
@ETHIndiaco
'22 to becoming ETHIndia 3.0 fellows, to now mentoring hackers at Unfold '23! โ๏ธ
@BananaHQio
builders,
@rishotics
, and
@haque5farazul
have been building relentlessly and it shows ๐ซก
FFT requires a finite field and domain must be a multiplicative subgroup of the field
But with Lagrange interpolation offers flexibility by allowing you to choose any x and y coordinates, and even work with real numbers. You can obtain a polynomial that passes through them ๐
Here comes the cool bunch of EIF 3.0 Track Gwei fellows ๐ฅถ๐ฅถ๐ฅถ
We can say with enough conviction that they're about to disrupt the
@ethereum
world with their projects ๐