Proof of Track 2023-07-16
🔍 ZK
Circomkit
A testing & development environment for Circom circuits.
circom-mutator
Mutation testing tool for circom.
Coda for formally verifying crucial circuits
Certifying Zero-Knowledge Circuits with Refinement Types.
Learnings from the KZG Ceremony
Learnings and challenges from the KZG ceremony by PSE. Not zk related, but trusted setup related.
Parallelizing Nova
Visualizations and Mental Models behind Paranova.
17 misconceptions about SNARKs (and why they hold us back)
Justin Thaler clear up, a variety of misconceptions that have been hindering progress and causing confusion.
powdr
A modular stack for zkVMs, agnostic to both the frontend language and backend target.
zk-pref-matching
Privacy Preserving Stable Marriage Matching with risc0.
🔍 Ethereum
SSTORE3
Using the "code-as-storage" to efficiently store and retrieve large amounts of data programmatically.
Solidity Logo
Solidity logo is the Ethereum logo unfolded.
Coinbase employee base is larger than the total number of active users in crypto
Compound has 120 people using it daily.
Parallel EVM claim
Some introduction on Parallel EVM execution with different cases. Blog post.
A survey of ZK Languages
A basic intro to the DSLs shaping the ZK Space.
A deep dive into Starkware
Blockchains, state machines, VM's, provable CPU's.
ArkhamIntel
First On-Chain Intelligence Exchange, basically anti-anonymous platform in crypto... Their referral link seems to leak users' email, and its archive. Some people are worried if it's a good trend (eg. UnlockCalender thinks it will physical attacks), and others are optimistic about the token launch on Binance launchpad... And a review on its tokenomics.
Brazilian Central Bank is launching an ERC20-based digital currency
However with features like "burner", "freezer", and "mover". Comment on its open-source by oskarth.
Golem's Funding
Golem still has >260k ETH after raising 820,000 ETH in 2016, just slowly drips down year after year.
Crema Finance Exploiter
The Crema Finance exploiter has been indicted for stealing $9M in crypto, and here's something funny: his search history after the attack.
diffusc
Experimental tool to ease the review of smart contracts upgrades.
🔍 Layer2
Network Effects in Web3 Game Engines
Mud, Dojo, Keystone, Argus.
Cross-chain communication exploration – rollups’ vision
This explores the approaches of different L2s to cross-chain messaging from rollups’ perspective.
🔍 DeFi
Oku.trade
A new and pro-trader-friendly front-end for Uniswap v3. The limit order feature is done with Chainlink automation.
A completely new $UNI token model for V4
Discussion on v3 fee switch is not relevant anymore. The author proposes a new token model for v4.
@AaveAave's @GHOAave
An amazing illustration of the GHO model.
Multichain's announcement
Two examples of centralization shown in this announcement.
🔍 MEV
The MEVM. SUAVE Centauri. and Beyond
Flastbots is building MEVM. It's like EVM + MEV primitive precompiles. And the MEVM will be running in Flashbots' SUAVE chain for computing MEV related computation (bots)... But it's secured by Flashbots' TEE.
an increasing number of validators choose to construct their own MEV block
It's worth considering the implication for the future of PBS.
🔍 Cosmos
Few thoughts on the Ripple / XRP case
By Guy Zyskind, the founder of Secret Network.
🔍 Web
Implement fundamentals of in-place interpreter
"Looks like JavaScriptCore is working on a new WebAssembly interpreter".
The case against self-closing tags in HTML
The author don't think the /> in self-closing tags is a good idea. The discussion is related to XHTML, HTML5, and JSX.
"work smart not hard" paper
all neural (Transformer or not) approaches lose to good old kNN on representations generated by.... gzip.
stable diffusion produced virtual desktop interface
No frontend code, no frontend rendering engine, pure image generation. Blog post.
🔍 Others
A brief introduction to Impressionism
One of the most successful artistic revolutions in history.
What’s your unpopular crypto opinion?
A lot of interesting opinions on crypto.
Films imitate paintings all the time
"As we speak of Van Eyck, Raphael, Titian, Caravaggio, or Turner, one day people will speak of Tarkovsky, Kurosawa, Kubrick, and so on, in the very same way..."
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.