Introducing zkUniswap: a first-of-its-kind zkAMM 🪢
It combines UniswapV3 and a zkVM (RISC Zero) to enable off-chain computation of swaps, aiming for long-term cost efficiency without compromising trust.
🔴 Introducing Sequencer Commitments for the OP Stack
This implementation makes changes to the op-node that enable it to enforce granular, reliable, on-chain contracts involving sequencers.
Let's dig in 👇
💭 What are zkAMMs?
zkAMMs are an extension of traditional AMMs, integrating zero-knowledge proofs in-protocol. Unlike zk-rollups, the proof verification is done by the protocol itself, even on non-zk environments like the Ethereum Mainnet.
By using zk proofs, zkAMMs aim to shift part of the computational load off-chain, potentially reducing on-chain costs in the long run without compromising trust guarantees.
Check out the code today 👉
have been getting funded by them and it made a difference. thank you
@rebeccadai0
@austingriffith
!
BuidlGuidl is undoubtedly one of the best things in the ecosystem.
🏰
🏰 BuidlGuidl is punk af 🧑🎤 👨🎤 👩🎤
🌎 we stream ETH to open source devs all over the world
⚙️ we do this fully onchain using custom smart contracts
🔥 in '23 we funded more than 150 builders!!!!
🧑🏫 and we aren’t just funding, we are also educating…
As L2s gain momentum, sequencers' capacity to establish credible commitments becomes ever more important. This not only enhances transparency in transaction ordering but also holds the potential for versatile, general-purpose contracting with the sequencer as the counterparty.
Your perspective can steer this research's trajectory. Contribute, suggest, or get your hands dirty by forking the repo.
Let's explore what's possible with sequencer commitments.
How does it work? It's simple — at the rollup client, we integrate a call to the L1 to filter new L2 payloads for commitment satisfaction. This call is made to Emily, a library to which we outsource the work of checking commitments.
💬 What are Sequencer Commitments?
They define behavioral constraints for sequencers. It enables them to engage in on-chain agreements about their future actions, drawing from the PEPC framework. More on PEPC here:
@0xgodking
its gonna be tough without any way for lenders to short the credit of the borrowers / hedge against a default (as you would with a credit default swap -- problem is who would sell it to you / go long the credit without there being any form of recourse if there's a default)
a few new high-level ePBS diagrams came out of ethcc! the "heart diagram" and "traffic light matrix" are presented in my talk!
check it out if you are curious :-)
thanks
@tzhen
for pushing for big-picture thinking
🌐 Core Features:
1. Dynamic Commitments: Sequencers enter commitments in the L1.
2. L2 Enforcement: Commitments are enforced in L2 blocks.
3. Flexible Design: Commitments are Turing-complete and defined in the EVM.
has there been any work on zkAMMs? where say the caller posts a proof for the successful execution of the swap step for some amount in & amount out (among other things)
This opens up new ground for agent programmability at Ethereum's consensus layer, paving the way for more reliable general-purpose contracting with validators on core protocol duties like block proposing.
@cronokirby
BLS with the BLS12-381 curve.
main reason for using that over ECDSA is that BLS can aggregate signatures (and have them all checked) much more efficiently, which means that it can scale effectively as the set of validators grows
Introducing : the first platform that allows to use any ERC20 to validate, simultaneously, any or all on-chain trust networks.
As examples, we decentralized the OP sequencer and developed an L3 POC.
built together w/
@0xfuturistic
how can you credibly align users of a blockchain with the goals of the DAO behind it, while keeping that blockchain permissionless?
easy: have users (or a third-party on their behalf) put up a stake that gets slashed if they break any behavioral rules.
how? by an observer…
👇👇With Gradient, any web3 music artist/producer/holder will be able to earn interest and passive income from their NFTs (awesome, right?)
✨tag your favorite web3 music artists/producers✨
learn more at 👀🔮
@0xgodking
on the other hand, it's still possible to have undercollateralized lending without recourse but for borrowers with on-chain revenue (i.e., undercoll. lending for DAOs like
@debtdao
)
Many believe both 1) AMM LPs aren’t making very good returns, and 2) RFQs backed by professional market makers will replace AMMs
Why would trading firms, with ultra high return targets, want to get into a price war against AMMs who are already selling liquidity too cheap?
@0x94305
why do full range? if you believe that USDC's price will most likely stay within a narrower range (for example, between $0.90 USDT and $1.00 USDT)
Context: P2P NFT lending has emerged. Mechanism is simple - borrower puts NFT as collateral + lender provides ETH for agreed upon interest.
@NFTfi
is market leader,
@backed_xyz
is another project
Interest rates are 45%+. Does this reflect the right risk assumptions for lenders?
@ZuneNFT
@BendDAO
realistically though it was mitigated bc measures were put in place (i.e., limit on liquidation forcing them above 95% of the floor was dropped and utilization rate (thus APRs) went down bc some large depositors put ETH back in)
@0xGioMedici
idk medici. i've been chatting a lot with the founder and instead of picking up signs of them being ill-intended I picked up signs of them operating under a lot of stress without a background in risk. there are other people in the space that can attest to this as well
the truth is this DA layer only probably needs to hold the data until it becomes common knowledge. it would be interesting if the protocol could autonomously determine that, but what data sources would it need? alternatively, could rely on some "operators" (but need consensus...)
onchain teams was a last-minute feature we decided to add for curta cup
really cool to see
@ernestognw
and
@cairoeth
at
#1
after combining their solves 🫡
🚧 What's the biggest current challenge in PEPC-DVT?
That the block has to be revealed to the DVT network to obtain the validator's signature.
This is not ideal and goes against the principles of MEV-boost, which is that the payload should remain private until being proposed.
☀️ How can we solve this?
We can leverage BLS Blinded Multi-Signatures to keep the block private while providing signers with guarantees that what they sign is a block that satisfies commitments.
You can read all about it here:
sometimes I wonder what % of the crypto community has adhd. one time at a hackathon I tried to get more time with my diagnosis and the organizers disagreed bc they said most people there had adhd too (including the organizing team) lolz
Trying out
@viamirror
with a new post on semantics for staking!
The explosion of creativity unlocked by liquid and re-staked assets makes it hard to orient oneself and unravel their constructions. Post 1 digs into liquid staking mechanisms.