Proof of Track 2023-08-31
🔍 ZK
Brillig VM Circuit
Experimenting with brillig VM circuit written in noir.
A survey of ZK Languages
DSLs shaping the ZK Space.
You like Circom but you find it confusing? Introducing Circomscribe
One problem of writing Circom is that devs don't know what constraints will be generated. Circomscribe is a tool that helps you to visualize the constraints, or a modified version of Circom compiler.
Solving LLM Privacy with FHE
How can we ensure that our interactions, questions, and data shared with these models remain private? Enter Fully Homomorphic Encryption (FHE).
Proof of Meow: how ZK-VM works
Easiest explanation of ZK-VM.
comparing FRI to EC based commitment schemes
To FRI or Not to FRI.
zk-blockchain-ideas
A collection of all the project ideas involving zk, blockchains & what not.
halo2-cairo
Verify cairo execution in Halo2.
the relationship between @PrivacyScaling and @Scroll_ZKP
Federico's is questioning the relationship between PSE and Scroll.
🔍 Ethereum
the KZG ceremony is closed
141,416 total contributions, by far the largest ceremony ever.
rivet
Developer Wallet & DevTools for Anvil (something inside Foundary) by Paradigm.
abi-to-sol
Generate Solidity interface from ABI JSON.
Ethereum Tree of Trust v2 article framework
Ethereum is a plant, and trust is its fruit.
Blobspace 101
The concept of blobspace, from the ground up.
Ethereum Execution Layer Specification
An execution layer reference implementation in Python.
Request for Builders: Startups I Would Build Today
Startup ideas from Coinbase.
🔍 Layer2
Still still friend tech
The Modular Stack - for Dummies
How the "modular stack" unlocks new design space for applications. Written for the non-technical reader.
gas per second (GPS)
TPS may be inaccurate, and GPS is a better metric.
it's a rollup if
Another pretty good definition of rollup.
Data Availability is by far the most confusing term we ever came up with
Data Publishing + Data Storage are better terms that are more intuitive.
Bitcoin Data Availability Adapter
Allows Sovereign SDK to be compatible with Bitcoin.
The release of the code and public testnet for Arbitrum Stylus
WASM in Arbitrum.
🔍 DeFi
Another huge victory for the crypto world & software devs
Protocols are not liable for the actions (including misuses) of their users.
🔍 Web
How docker generates container's names
The easter egg is boring_wozniak won't work.
JavaScript Macros in Bun
Pretty cool that these can be run in bundle time.
Role Of Algorithms
Debugging complex code is hard, first simplify, then debug.
Write your Own Virtual Machine
How to write your own virtual machine (VM) that can run assembly language programs. Helpful if you never take a computer architecture course.
🔍 Others
Complexity Theory’s 50-Year Journey to the Limits of Knowledge
How hard is it to prove that problems are hard to solve? Meta-complexity theorists have been asking questions like this for decades. A string of recent results has started to deliver answers.
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.