wanted to share our first public demo of @alignedlayer wallet as a service. our engineering team has been doing an incredible job. really proud of how fast we’re building this. this is a key product for us. it’s how we help partners like @sovraio onboard millions of users in a seamless and secure way. still work to do, but we’re on the right path. here’s the demo: 1. sign in with google 2. create a wallet with touch id passkey saved to icloud 3. send usdt on chain signed with your fingerprint 4. open on a new device 5. send another tx immediately how we’re building it: - 2 of 2 multisig where user passkey and server co sign every transaction - erc 4337 account abstraction - auth via google + webauthn passkeys. - passkeys sync across devices via icloud keychain or google password manager - server guardian recovery with timelock + mfa still under development: censorship resistance allowing users to retrieve their encrypted server key independently using their device key + mfa so no one can block access to their wallet we will be sharing more demos in the future and a full blog post explaining the architecture and design decisions.

the SEC is the only government agency I have seen that is innovating and having both companies and users in mind. hopefully these are not just claims and they materialize to actual products and clear guidelines. luckily at @alignedlayer we are working with @sovraio to help governments transition to a world of verifiable credentials.

fyi

here we go

I used Opus 5.5 to formally verify the Claude Agent SDK using Lean. A couple short prompts = 16 PRs fixing various bugs and race conditions. Video attached. TLA+ also works well. I sometimes combine Lean and TLA+ to look for issues around data flow, concurrency, and state mgmt. I don't know either language well, but Claude is excellent at both. This approach is super useful for formally modeling your code and finding bugs that a human probably wouldn't have spotted. Is formal verification the future of coding (or at least, bug finding)?

Lambdaclass PropAMM Router new audited version, now live on mainnet. Same address, same interface. Access all ethereum PropAmm liquidity, with JIT requoting for optimal swaps and spoofing protection. Full write-up: blog.lambdaclass.com/lambdac…

so far in the last month: - tge of @alignedlayer - we are live with real users for our wallet as a service with @sovraio - we are helping propamms flourish on @ethereum with @class_lambda and @titanbuilderxyz - we launch a new product that is in stealth mode with @polfinance_

nothing to worry about

When we started @Meow we knew no VCs so we put “Building something new” in our LinkedIn bios to hope people would reach out Cold called VCs left and right. Bull rushed one I recognized at a coffeeshop. My first call with a VC he hung up without saying goodbye I was rejected by 30 colleges, some more than once We went back to 0 revenue 4 years ago My cofounder was out with a concussion for a full year All that matters is resilience and good judgement This year we're on track for millions in annualized profit, soon to be 10+ Shipping velocity is faster than ever I can assure you of one thing We will not be denied

China cuts US Treasury holdings to lowest level since 2008 ft.trib.al/JQEb2qa

finally! one of the most decisive days for the blockchain/crypto industry. hopefully this will pass and the rest of the world can follow the US

grok bot is actually pretty decent. for non technical users its the best ux to use agents.

RT @austincampbell: The @Revolut data leak drives home a point I have been making for years due to my work with @inca_digital that most don…

Claude is a bureaucrat, but the best bureaucrat ever.

Our team's latest paper, "Experimental Evaluation of Dickson Polynomials as an S-Box for Algebraic Hash Functions", has been officially published in Intelligent Computing (LNNS, vol. 2064, Springer): link.springer.com/chapter/10…

everything will be tokenized and everything will be on @ethereum

elzorro piped.video/watch?v=LY4rAScl…

the next stablecoins are tokenized stocks. prepare your infrastructure accordingly.

Diego and his team are doing incredible work educating and building the solutions that allow local governments to upgrade their identity and credential stack, leveraging @ethereum and cryptography to build better public services with verifiable credentials. We think this is important for Ethereum: - The world is upgrading its critical technology stack to verifiable and trust-minimized solutions, and identity is where it counts the most. - Citizens get access to better services and benefit from composability. And in the future, enterprises will integrate these solutions to improve the UX and security of authenticating yourself across different services on the web. - For Aligned, @sovraio is a huge opportunity and we are proud to work with them. It's one of the best examples we have of why companies that are innovating and helping the world transition to Ethereum need a full-stack solution. - SovraChain runs on @ethrex_client on @ethereum using our rollup as a service. Their wallets use our wallet as a service in the background to provide seamless onboarding with recovery. We are still doing the work to migrate SovraChain to our proof aggregation to reduce costs as they scale. - Probably one of the most ambitious projects on @ethereum, and it will bring in new users who will benefit from the best financial backend in the world. We recently published a paper explaining the architecture of Propia, the protocola and blueprint for verifiable credentials that we used to built these solutions. You can read it here: propia.id/whitepaper/

Pulled @cloudflare radar data to answer the 1 question I keep hearing: is the whole agentic/machine commerce market just wash trading? Short answer: no. 402s rose 12x the month sites could price them. Why it still looks tiny is the best part of the story.

Enjoyed this one, thanks for having me @apriori0x ! Super bullish on where this goes. Higher asset velocity and tighter spreads are making Ethereum Mainnet ever more competitive. Price discovery for liquid assets is starting to happen onchain and pAMMs are a key market structure change that makes that viable.