A brief definition of FHE coprocessor: A service that can help DApps do FHE computing, by generating key and decrypting data with the key for DApps on behalf.

is there a way to prove that a zk circuit is deterministic wrt public inputs (so no private inputs) without revealing the circuit itself?

This is for prisoner dilemma tournament or other similar cases. To do it, "You can prove the zk is undeterministic by providing the same public input at least 3 times".

🔍 🧠 AI

SuperPrompt

an attempt to engineer prompts that might help us understand AI agents.

Artificial Analysis

Independent analysis of AI models and API providers based on quality, speed and price.

ai-for-grant-writing

A curated list of resources for using LLMs to develop more competitive grant applications.

2024: Is AI art Art? 1971: Is Computer art Art?

"The poet Charles Baudelaire wrote, in a review of the Salon of 1859: “If photography is allowed to supplement art in some of its functions, it will soon supplant or corrupt it altogether, thanks to the stupidity of the multitude which is its natural ally.”"

OpenAI's o1

AI with reasoning and IQ of 120. "Mediocre but not completely incompetent graduate student". See also: 1, 2.

GPTsWorks

Third-party GPTs store.

nano-llama31

It is to Llama 3.1 what nanoGPT is to GPT-2.

NotebookLM

Convert content into a podcast.

LLaMA-Factory

Efficiently Fine-Tune 100+ LLMs in WebUI.

gpt-researcher

LLM based autonomous agent that does online comprehensive research on any given topic.

speech-to-speech

Speech To Speech: an effort for an open-sourced and modular GPT4-o.

cursor.directory

Find the best cursor rules for your framework and language.

🔍 ⛓️ Ethereum & Blockchains

ETHRoadmap

With progress bar.

economic security is very very obviously not a meme.

"the severity of liveness failures that require social intervention to remedy should require no further explanation".

Interoperability can be classified in two different dimensions: temporal lag and trust assumption.

good games are not born out of piles of money they are born out of passion the pile of money can only help you scale and acquire new users

Today happened one of the biggest crypto punk heists of all time.

When NFT fractionalization goes wrong. See also: The problem with NFTs is that the "non" is a lie, eg. all BAYC gets same airdrop.

Three ways to build services

Coprocessors 1/ zk: need to pay for prover cost; 2/ optimistic: need to wait for settlement lag; 3/ Cryptoeconomic: need to pay for capital cost during settlement lag. But instant. what are cryptoeconomic systems that couldn't be better replaced with ZK? ZK can't prove non-equivocation like slashing or negative numbers.

Alt-DAs valuation straight to zero

Ethereum is building better DA.

The Fat App Thesis (a mini-essay)

1/ cycle; 2/ apps are like protocols now; 3/ users and incentives for them.

🔍 🪙 Bitcoin

SoK: Bitcoin Layer Two (L2)

"We present the first Systematization of Knowledge (SoK) on constructing Layer Two (L2) solutions for Bitcoin."

Block Template Similarities between Mining Pools

"AntPool and friends?"

🔍 🧱 Layer2 & Modular

Decentralized sequencing is basically a conspiracy to get every rollups to be sequenced by the same group of people.

It's kinda like how RaaS controls all the multisig of rollups. Note that this decentralized is actually more like shared. If it's truly decentralized, then it should be permissionless.

a rollup can "theoretically" fork or do whatever as any blockchain

But it needs to update the contract, the bridge, and the nodes.

Fraud Proof Wars

Amazing long article on fraud proof.

The power of faster blocks

UX, better finance with more market efficiency. How Arbitrum does it? Sequencing and protocol. How to solve problems? Timeboost and decentralized sequencing. See also: Arbitrum's new Timeboost proposal is actually insane.

Disputify

A front-end for visualizing dispute games.

Gwyneth Technical Design

Taiko's based rollup Gwyneth design.

"I haven’t shared this publicly before but in the early days of building Arbitrum we were dangerously close to accepting a grant from another ecosystem to build Arbitrum there (in addition to Ethereum)."

Polkadot almost made it?..

🔍 🏦 DeFi & AMM & TradeFi

Pumpdotfun is the fastest growing application by revenue in the history of the cryptoeconomy — $100M in revenue in just 217 days.

However, "Very bearish if these are the kind of projects you encourage / support."

an IP backed stablecoin

instead of liquidations, the IP goes into the PUBLIC DOMAIN.

Sources of Defensibility for Crypto Apps

Medium of Exchange (Tether) > Social Network Effect (farcaster) > Validator Economics of Scale (Lido) > Team and Ability (Uniswap) > ...

what determines whether price discovery happens in the CEX or the DEX?

"Do CEXs always lead price discovery?"

Unpopular opinion: L2s like Linea are more secure than ethereum

"If its exploited on L2 and the bridge is slow enough, you can pause the sequencer and do a block reorg".

Is there evidence that when in the market cycle a token is launched affects its long-term value?

Probably because more money can be in the treasury at early stage. "Personal incentives can be skewed by OTC and secondary sales".

Lossless products are some of the most interesting in crypto

"Crypto is uniquely well-suited for lossless products - it offers the most frictionless path for new capital formation and low-cost payouts".

stablepulse

Get a clear, accurate, minimally filtered view of the stablecoin ecosystem.

🔍 🤖 MEV

loom

MEV Bot based on Alloy.

Vanity MEV person

Detailed breakdown.

Bribes explorer

"We track native token transfers to the block builder and aggregate them for leaderboards".

what if beaver ... is ... Jared?!

beaverbuild's new bot uses the exact same calldata as Jared! Txs: 1, 2.

Delay stateRoot Reference to Increase Throughput and Reduce Latency

delay stateRoot by a block so that it can be computed in parallel.

🔍 🔧 Dev & Toolings

imagine being able to choose a theme from your favorite games for your wallet

Final Fantasy themed wallet lol.

made Uniswap V2 resistant to sandwich attacks with only 19 lines of code

Based on "Credible Decentralized Exchange Design via Verifiable Sequencing Rules" (http://arxiv.org/pdf/2209.15569).

MEVScanner

Check if you've been MEV'd.

lextek

100% onchain Y Combinator SAFE and Escrow DEAL. Uses dynamic SVG to render a formatted legal template with standard clauses tailored to support wallet signatures and ENS.

LlamaFeed

designed to be your go-to landing page for up-to-date info across crypto.

How to call an untrusted external callback function from your Solidity code safely?

Key takeaway is that choose the limit based on block gas limit, so if it's a gigagas chain, the limit won't be the bottleneck.

compression

solidity compression utility.

mempool-listener

A mempool listener for contract specific transactions.

aggor

Oracle aggregator distributing trust among different oracle providers. Integrates Chainlink, Uniswap, Chronicle... Makes me think of panDA but it's for oracle.