Proof of Track 2023-06-02
🔍 ZK
zkSecurity
a new auditing platform for zero-knowledge applications founded by ex-Mina cryptographers and engineers. New posts on zk security from them: ZK programmability adds a whole new layer to worry about, and Underconstrain bugs.
The World of 'Trust-Minimized' Middleware
Consensus Verification & Bridging.
SplitNet powered zkML
the approach on parallelizing proving + fine tunes # of inputs & constraints per proof.
Understanding the Technical Aspects of Aztec and Noir
anything about Noir and Aztec.
risc-roll
a POC for zk-proofs of Substrate extrinsics using Risc0.
What is a zero-knowledge proof (ZKP) system?
great resources and references with Sudoku as example.
awesome folding
A curated list of zero-knowledge folding schemes, mostly Nova stuffs. Also, a recent talk about CCS/HyperNova at PSE.
circom is used everywhere
literally everywhere.
Deep into AVM (Aleo Virtual Machine)
Aleo’s AVM and data structure design. Becuase it's privacy focused, so a new concept of "transition" is introduced for transactions.
🔍 Ethereum
the fact that Uniswap v3 does not have a view function to read the amount out on-chain
Either use an indexer to see the event log, or a quoter, or a simulation (like EnsoFinance does, or Arbiter).
natively minted on L2 or minted on L1 and bridged
bartek's thought is "I personally like the idea of Ethereum being a settlement layer for different Rollups and - unless cost is prohibitive - having a central ledger on Ethereum if your token spans across many Rollups, seems like a sound design".
Intent-Based Architectures and Their Risks
an intent is signed a set of declarative constraints which allow a user to outsource transaction creation to a third party without relinquishing full control to the transacting party.
🔍 Layer2
Cairo Latte
Cairo functions catalog built with Hanji (cairo-doc-gen) and OpenAI.
Sovereign SDK Alpha Released
an MVP release focused on a few core features that will give you a feel for the developer experience of the Sovereign SDK with components including demos, zkVM adapter, and banking and sequencing modules...
The Rollup Multiverse
debates about rollup in 2023. Views: Rollups, Rigor, and Reality, The fundamental issue is that people talk about blockchains in the form of products. , rollups don’t exist in the sense that they don’t inherit L1 consensus on ordering, All ERC20s are really sovereign ERC20s., rollup != bridge.
Introducing Beacon Layer: An Enshrined Rollup Interlayer for Ethereum
This Beacon Layer of AltLayer (including the Shared Sequencer) does form a middle layer of sorts. It fits my understanding of modularity.
OP Stack Zero Knowledge Proof
Optimism wants to add zkp to the fault proof of the OP Stack. One wonders if the fault proof itself is too difficult to complete, so they want zkp...
🔍 MEV
$30M 72% of Searchers' MEV Revenue Went to Validators in 2 Months
Profit distribution: searchers - $7.3M (17.4%); builders - $4.4M (10.5%); validators - $30.3M (72.1%).
🔍 Cosmos
Noble X Celestia
Noble to Bring Native USDC to Celestia Sovereign Rollups
🔍 Web
awfice
The world's smallest office suite. Use the html address bar to load the editor's short code directly. No backend, no frontend, no server.
🔍 Others
Evaluating Validator Decentralization: Geographic and Infrastructure Distribution in Proof-of-Stake Networks
facts and status of validator decentralization of PoS networks.
Thanks for reading!
I'm not a financial advisor. Proof Of Track is for education and information purposes only. DYOR.
Subscribe Proof Of Track, follow me at @msfew_eth, or connect with me at sny.is.