tinygrad uses strides to implement convolution.
very cool, and there's a clean proof for why this works:
1. Calculate the index for your n-dimensional matrix
2. Take the derivatives of your index with respect to the dimensions
3. Derivatives tell you how much your index changes when values in dim changes (i.e. what your stride aims to do) so plug those in directly to your stride values
4. ???
5. Profit
🧵1/ Introducing ZisK — a new era for zero-knowledge proof systems.
A high-performance, fully open-source zkVM stack, born at @0xPolygon, now spun out as its own project.
Designed for low latency proving from the first day.
Meet ZisK 👇
https://t.co/uPbKkoa4py
1/ S-two is live.
The fastest prover in the world, and the first to make client-side proving actually possible on everyday devices.
Now open to all, and coming soon to Starknet 🧵
🚀 Excited to release Ress - a fully validating stateless Ethereum node with just 14GB disk requirements, built on Reth!
Statelessness paves the way for scaling L1 gas limit, scaling optimistic L2s, and for implementing Native Rollups to improve the L2 ecosystem’s security & interoperability.
SEND PROOFS.
After 9 months of development we are happy to announce that Aligned's ZK verification layer – mainnet beta – is now live on Ethereum.
This means that developers can verify ZK proofs on Ethereum for less than 10% of the cost and that they can submit thousands of proofs per batch.
1/24 Excited to release the @AggLayer Unified Bridge Tutorial
This tutorial explains the design and usage of Unified Bridge and Bridge-and-Call on AggLayer. Here's the breakdown:
Architecture:
❓ WTF is Unified Bridge?
❓ What? Unified Bridge has 4 Merkle Trees?
❓ The components that make Unified Bridge Tick!
❓ Why is Unified Bridge secure?
Dev Interfaces:
✉️ Bridging Assets and Messages using UB.
✉️ & 📲 Bridge-And-Call: Literally doing bridge, and call, all in one txn.
Example Transactions using Unified Bridge:
🌉 Bridging Asset from L1 👉 L2
🌉 Bridging Message from L2 👉 L1
🌉 Bridge and Call from L2 👉 L2
🌉 Bridge sth from Lx 👉 Ly 👉 lz (?)
Tutorial Link can be found here: https://t.co/raq3I2Rili
𝗔𝗻𝗻𝗼𝘂𝗻𝗰𝗶𝗻𝗴 𝗽𝗼𝘄𝗱𝗿𝗩𝗠 𝟬.𝟭!
powdrVM combines multi-prover support, std Rust, modularity, and high performance, setting the stage for future-proof ZK applications.
Read the details on our blog or follow this thread for a tl;dr 👇
https://t.co/aZYaSiJ6XZ
Over the last month, we’ve been transforming our L1 execution client to be able to launch an L2 with the same codebase.
We already have deposits and withdrawals working, and we’ve successfully added @RiscZero and @SuccinctLabs SP1 for zk proving.
Currently, we’re adding:
• Blob support
• A custom ERC20 native token
• Based sequencing
• TEE (Trusted Execution Environment) alongside ZK to enhance security
• Account abstraction (EIP-7702)
• Validium / Alternative DA (Data Availability)
It shouldn’t take more than a few weeks to have everything fully functional. Afterward, we’ll shift our focus to optimizing performance. We’ll also have the codebase audited by 3 or 4 top-tier companies.
We are intentionally avoiding complex code, traits, macros, and unnecessary concurrency. Our approach is vertically integrated, and we’re implementing every major Ethereum dependency within the same codebase. The goal is to keep the codebase as minimal and efficient as possible.
Let’s combat monopolies by building with concrete code. We’re already in discussions with multiple companies interested in supporting and using the project.
🔓 Panoptic Smart Contract Docs are live!
Get ready to build with:
🟣 Panoptic V1 (on @Uniswap V3)
🟣 Panoptic V1.1 (on @Uniswap V4)
Perfect for builders, auditors, and the crypto curious.
@OfficialLoganK@RachelVT42 please add
1-web search
2-agentic framework (using big(pro version) model as supervisor and (flash models) as agents to fulfill given hard tasks