Proof of Track 2023-10-11
🔍 ZK & Cryptography
Why RiscZero isn't moving to a folding-based scheme for now
RISC Zero team says if you want folding, you can't use FRI, though you can use folding then FRI for aggregation, or the reverse. Also folding vs traditional recursive proving. More discussion.
A journey into zero-knowledge proofs
David Wong's journey into zero-knowledge proofs.
Only Privacy Coins are Fungible
"Privacy is crucial to a fundamental property of money: fungibility".
halo2.club
A community-maintained directory of resources related to halo2, and its many variants.
The Economics of Open Source zkVMs
Different types of Support and Services (Red Hat Model), Open Core Model (GitLab, MongoDB), ...
fraud-proof-groth16
Groth16 fraud proof generation PoC using leaked toxic waste. Note that this is not the optimistic fraud proof system, a better term may be fake proof.
Plonky3 is getting faster!
It can prove around 750 Keccak-f permutations per second, ~5x more than Starky.
P256Verifier
The best way to take your {Secure Enclave, Webauthn, Passkeys, FIDO} keys on-chain.
🔍 Ethereum & Blockchains
Should Ethereum be okay with enshrining more things in the protocol?
The balance between enshrining and not enshrining features in Ethereum, and the need to carefully consider factors such as centralization risks, protocol complexity, trust, and adaptability to user needs. See also Can we just admit that Ethereum's consensus mechanism is overengineered?.
BitVM
"Any computable function can be verified on Bitcoin". My take: (Most) Bitcoin people don't want it, Ethereum people hate it. It's cool tho. Others takes: 1, 2, 3, 4.
Recent Discussions on Lido
Lido is approaching 1/3. 1, 2, 3, 4.
🔍 Layer2 & Modular
Definition of Sovereign Rollup
colludingnode's definition of sovereign rollup. More info.
ERC721 Stylus
An ERC721 implementation written in Rust 🦀, for Arbitrum Stylus. awesome-stylus is also up.
🔍 DeFi & AMM & TradeFi
v4 hooks that will allow new innovations
Inverse Range Orders, 2. Oracleless lending protocol.
SBF had a tweet thread prepared for a possible Alameda shutdown in September 2022
“In the end, everything is my responsibility,” Bankman-Fried wrote, adding, “The most important thing is that I make sure we do the right things as a company.”
🔍 MEV
Explore the concept of intent
"The world of intents is interesting and has a wide design space that is continuing to be explored".
🔍 Web
Game engine architecture is such a good read
Just click the link and check the graph.
🔍 Others
Double Happiness
Arthur Hayes's shilling on Filecoin.
Firefox Money: Investigating the bizarre finances of Mozilla
"Payments to nonexistent companies? Funding politics? Reliance on a single customer? And that's just for starters."
Ancient Earth globe
What did Earth look like X years ago?
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.