Proof of Track 2023-09-18

msfew

Sep 18, 2023

Why multi-prover matters. SGX as a possible solution.

A more detailed explanation of multi-prover, with SGX as another type of validity proof.

ZK co-processors will be the ultimate oracle rails

"Is it "computational oracle" that you wanna say?". Basically zkOracle.

circom-stark

A lightweight turing-incomplete assembly language for STARK proofs.

zk-fhe

Prove the correct execution of encryption operation under BFV FHE scheme.

halo2-lasso

Benchmark for adding Lasso lookup argument to halo2 backend. WIP.

GEVULOT Network

A permissionless & programmable L1 blockchain for deploying zk provers and verifiers as on-chain programs, by the Equilibrium. It uses the Nanos unikernel running in a KVM hypervisor.

🔍 Ethereum

What's Solana's solution to state growth?

Always helpful to look at different solutions to the same problem.

SafeCounter lol

"A counter library for the future". And "Time for a Counter Mechanisms Research Group and "Counter Summit" at Devconnect". And CommunityCounter, A counter contract which is community owned, optionally anonymous, with socialized costs lol.

Etherscan Account Abstraction

Etherscan has a new feature where they show you which ERC4337 smart accounts were involved in a transaction.

How do we define a Bridge and what are the primary design schools?

A small blueprint on how to think about bridges and the various existing projects. Somewhat spicy.

"two-tiered" staking

a proposal from Dankrad presenting a hypothetical native liquid staking token design.

Switching to Sqlana is suicide for struggling apps

I actually wanted to invest in GlassXYZ when I was at VC...

geas

new low level EVM language just dropped?

🔍 Layer2

stylus-as-example

Write AssemblyScript in Arbitrum Stylus.

The Little the Seasoned the Ugly Interactive Game in Optimistic Rollups

A cool introduction to interactive games in Optimistic Rollups with dialogue.

op-zeth

zeth fork to prove validity of OP Stack blocks using RISC Zero's zkVM.

South East Asia's SuperApp (Grab) just integrated a Web3 layer using Polygon

New crypto features on Grab.

guess who will have the first multi-prover implementation

Scroll is saying they are moving faster in implementing multi-prover with TEE.

The Endgame for Rollup Frameworks

Amazing landscape picture of rollup frameworks.

🔍 DeFi

Why treasury diversification becomes critical and what projects can do to survive harsh crypto winters like the one we are in right now: 1. Treasury token sale; 2. Derivatives; 3. Debt finance; 4. Range token; 5. New token.

🔍 Web

Web3 gaming gets better every season

CEX -> DEX with FT -> NFT -> Friend Tech. It's all trading.

🔍 Others

14 paintings by famous artists you probably haven't seen before

I've seen 0 of them.

Why is red the colour of Communism and of Socialism in general?

It involves the assassination of Julius Caesar, the French Revolution, and a small hat on the official seal of the US Senate.

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.