Proof of Track 2023-04-23
🔍 ZK
Moon Moon
New folding protocol, I can't read it, the author wrote a post folding endgame before.
vscode-circom-pro
tintinweb wrote a small plugin for vscode circom, code snippet, integration of circomjs and other useful little features. circom is so good, the best first zk language for beginner.
Designing and unifying vast interconnected systems: How hard can it really be?
Cysic and Ingonyama recently started the zkHardware War... Mostly controversial benchmark comparisons. Cysic responded with another article ZK Hardware Acceleration: The Past, the Present and the Future, mainly to compare GPU, FPGA, and ASIC trends.
zk-ECDSA
Privacy can be achieved by adding ZK to ECDSA, without L1 changes. Many use cases.
risc0-protocol-analysis
ingonyama's analysis of risc0, I feel that it is mainly for the purpose of specialized hardware acceleration so that this analysis of the protocol is done.
Checks and balances: Machine learning and zero-knowledge proofs
A summary of the top use cases for zkML: model validity, model computational integrity, attestation (verifying third-party signatures), decentralized inference and training, and identity proof. I was going to write an article on this topic (... There are many things I wanted to write about), but after reading this one I decided to postpone it, even though Elena didn't write everything (probably it's posted too early, and missed some key zkML projects!) .
nova-circom-verifier
Nova verifier in circom, by Jordi.
chiquito
Is this pse's own halo2 dsl?
noir 0.5.0
The noir backend is UltraPlonk.
aztec3 mental model
Wei Dai made a very interesting point, Aztec3's mental model is not only advanced tornado, but also the underlying circuit and smart contracts are unified using noir. Wen Solidity write circuit?
🔍 Ethereum
zero-seeker
It saves gas. I've used a similar approach to generate wallet addresses before, but it's a security risk, and doesn't save that much.
🔍 Layer2
Stackr Rollup SDK
I talked to them early last year, and my initial perspective was that we didn't need that much rollup, but now I see that times have changed. blog.
Layer-2 solutions are not going to make Ethereum's problems go away
This is a bit funny...
direct transact to L1
The discussion originated in whether force inclusion has MEV, and then the optimism folks said that direct transact on L1 would still allow sequencer to order it, unless inclusion is rejected.
🔍 MEV
suave-economic-security-models
suave requires a subsidy to provide financial incentives. The question is what form, Jon thinks we can consider rollup or restaking, with both decentralization and financial incentives, while dismissing several other options (L1 + Bridged LSD/Subsidy).
mevpool
The MEV Searcher and the PoW miner are essentially the same, both do similar repetitive computations to capture revenue, so why not have a MEV mining pool?
🔍 Web
GitDaw
random ideas. Music will reach the final stage, software will not; in most cases, music projects have much fewer collaborators (except for like symphonies); music projects are more focused on preparation (lyrics, composition); diff can be difficult to read, too little text repo.
🔍 Others
Tokenology: Moving beyond ‘tokenomics’
Guy mainly expresses that token should have explicit value, and tokenomics is essentially = token * economics * art ...
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.