Michael ๐บ๐ฑ
@monsieur_kus
Exploration @StarkWareLtd advisooor @TezosBakingBad
What if we could bring STARKs to Bitcoin without softforks and optimize costs later? ๐ค Enter Simplicity โ an experimental script VM by @blksresearch that would enable that. We built a PoC STARK verifier in Simplicity to explore its potential. Hereโs what we learned: ๐งต๐
BitVM 3s: Simple, Secure, Succinct ๐ฐ $100,000 โ $100 collateral ๐ 4 MB โ 66 kB transactions โก 1,000x efficiency improvement New paper: bitvm.org/bitvm3.pdf
Could STARKs help make Bitcoin quantum-resistant? @isabelfoxenduke and @EliBenSasson discussed the possibility on the Bitcoin Rails podcast. Now, @cryptoquick breaks down how it could work ๐
Built a proof of concept of Bitcoin vaults to showcase CTV & CSFS on Mutinynet signet. Basic vault: Funds locked to a P2TR output with a single leaf CTV script committing to a trigger tx template. Trigger moves to a conditional P2TR: IF branch requires CSV delay + hot key sig;โฆ
Some initial number CairoM VS rest of the world (@StarkWareLtd @0xMiden @NoirLang @openvm_org @worldcoin @RiscZero @SuccinctLabs @ProjectZKM) Check repo, try it, and paste your results down below! Also plz report any issue with bad/unfair settings github.com/kkrt-labs/zkvmโฆ
This is not just another bridge: @hyperlane has a neat modular design that allows you to achieve required security level by combining building blocks. It is pretty decentralized in the sense that you donโt need a permission to plug in and use the infra, and also quite honestโฆ
Starknet is now connected to +140 chains. With @hyperlane integration, builders can deploy custom bridges across the multichain universe. First use cases go live in the coming weeks.
Iโve been pushing for this for over a decade: provable computation, secure content, and real confidentiality. Itโs finally becoming real with ZK, crypto, and AI. Weโve just brought it to life at @RektHQ with a live integration powered by @gizatechxyz. A new era begins.
๐ ๐ง๐๐ฐ ๐๐ซ๐ ๐ข๐ง ๐๐ฅ๐ ๐จ๐ซ๐ข๐ญ๐ก๐ฆ๐ข๐ ๐ญ๐ซ๐ฎ๐ฌ๐ญ: ๐๐ซ๐จ๐ฆ ๐๐ฅ๐๐๐ค-๐๐จ๐ฑ ๐๐๐๐๐ฌ ๐ญ๐จ ๐ฏ๐๐ซ๐ข๐๐ข๐๐๐ฅ๐ ๐๐๐๐๐ฌ. Starting today @RektHQ readers can cryptographically certify that every article they see was ranked by the claimed algorithm without silentโฆ
What the Integrity Web looks like โจ Content recommendation algorithm proven by @gizatechxyz with LuminAIR and @StarkWareLtd S-two prover, verified on your browser, now on @RektHQ!
๐ ๐ง๐๐ฐ ๐๐ซ๐ ๐ข๐ง ๐๐ฅ๐ ๐จ๐ซ๐ข๐ญ๐ก๐ฆ๐ข๐ ๐ญ๐ซ๐ฎ๐ฌ๐ญ: ๐๐ซ๐จ๐ฆ ๐๐ฅ๐๐๐ค-๐๐จ๐ฑ ๐๐๐๐๐ฌ ๐ญ๐จ ๐ฏ๐๐ซ๐ข๐๐ข๐๐๐ฅ๐ ๐๐๐๐๐ฌ. Starting today @RektHQ readers can cryptographically certify that every article they see was ranked by the claimed algorithm without silentโฆ
stwo/acc
S-two is *the* zkSTARK industry standard. Kakarot bringing client side proving+real time EVM proving via new CairoM (Cairo for M31). Read more from @KakarotZkEvm cofounder @ClementWalter
S-two unlocking real-time proving for everyday devices. @KakarotZkEvm is building CairoM, a mobile-first ZK stack using M31 and S-two, to make client-side proving possible on laptops and smartphones. Discover how Kakarot is leveraging S-two to bring ZK to your pocket ๐
Stwo will decimate the appchain operatorโs costs: there should be no fraud/validity dilemma anymore. It is already quite cheap to run Starknet stack with @karnotxyz, but it will be really peanuts when the entire stack migrates to the small M31 field. Wen SNOS in CairoM? ๐
If you have to spend a day on the beach do it productively: for instance with the @distributedlab zkbible travel edition ๐
> there's more than $20,000 worth of bounties that are available for anyone to contribute and earn only on thewp1[dot]xyz don't fade anon.