Proof of Track 2023-06-21

Jun 21, 2023

Securing Software Supply Chains with Zero Knowledge Proofs

by Galois, One of the most promising approaches to preventing supply chain attacks involves combining formal methods and zero-knowledge proofs.

FHE-in-TEE

A framework to run FHE computations (especially using the SEAL library) on TEE, with untrusted hardware acceleration.

Electron Labs' bridge between NEAR and Ethereum is vulnerable

Weikeng said that ZK circuits used for the NEAR light client are incomplete and severely under-constrained. Yu Feng from Veridise says that they identified a bunch of under-constrained issues in their circuits in their upcoming paper.

zkJSON

JSON parser written in Lurk. Saw circom-version before.

🔍 Ethereum

Which Ethereum smart contract uses the most contract storage?

the answer is XEN token with 40396288 slots or 1.293gb.

Business Source License of Uniswap v4

the open source license of Uniswap v4 triggers a lot of discussions. 1, 2, 3, 4, 5, 6, 7, 8, 9.

IndestructibleRegistry

It’ll scan the bytecode of a contract, ensure that there are no reachable SELFDESTRUCT / DELEGATECALL / CALLCODE opcodes, and register it as indestructible.

Increase the MAX_EFFECTIVE_BALANCE – a modest proposal

This proposal suggests increasing the MAX_EFFECTIVE_BALANCE (not the minimum requirement) from 32 ETH to decrease the number of validators in the network for single-slot finality and ePBS.

Zorp

Something new built by Orbit team. Zorp team said they are building an ultra-minimalist ISA designed for ZK, a super friendly swift-like language written on top, a zkVM that supports multiple proving backends.

🔍 Layer2

Hildr

an OP Stack rollup client written in the Latest Java.

Why did worldcoin go for iris scans instead of finger prints?

It's because irises have higher entropy than fingerprints and facial recognition, and they’re less susceptible to change based on external factors as well as less prone to demographic bias.

opBNB

OPStack-based Rollup on BSC.

Rollup stage

Stage 0: "Multi-sig runs a Rollup", Stage 1: "Rollup is run by smart contracts with multi-sig save users from bugs, but multi-sig can rug you", Stage 2:"Rollup is run by smart contracts, if there is a bug users are screwed but users are safe from malicious governance".

vault-ai

Give ChatGPT long-term memory using the OP Stack.

Request for Proposals: Upgrade Mechanisms

Aztec is looking for a solution for upgrade mechanism.

Current state of the No-code RaaS space

Comparing RaaS solutions by modular layer.

upgrade Polygon PoS to a zkEVM validium

The chain would continue to be operated by the existing $MATIC-staked validators, who would then be running a first-of-its-kind, decentralized sequencer, and data availability network.

“Secured by Ethereum”

Arbitrum and Optimism is debating about the security of their rollup, and if they are truly secured by Ethereum.

🔍 DeFi

Singleton Swapper

the efficient Singleton AMM with in-memory flash accounting.

HookMineAndSinker

Mine addresses for UniswapV4 Hooks.

Risk Parameter Updates for AAVE V2 Ethereum

Gauntlet recommends to freeze CRV and set CRV LTV -> 0 on Aave v2 Ethereum. Currently this proposal is receiving 100% of NAY.

🔍 Web

Alexandria

the open-source embeddings for 10+ major religious texts.

🔍 Others

The Movie Stills Color Database

An Interactive visualization of color in a selection of beautiful and colorful films

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.