Sabitlenmiş Tweet
Z561
1.4K posts
Clever way to reverse 32 bytes
simple method -> 32 iterations
clever method -> 5 iterations
# input
A B C D E F G H
# swap 1 byte
B A D C F E H G
# swap 2 bytes
D C B A H G F E
# swap 4 bytes
H G F E D C B A
Code
#L23-L44" target="_blank" rel="nofollow noopener">github.com/risc0/risc0-et…
HT
Quite crazy. This stuff will literally pulverize auditors earnings. We are going to eat tokens guys.
Plamen Tsanev@p_tsanev
😱A FREE Open-Source AI Auditor just delivered the same output as a $47,000 audit contest! Plamen ran twice on the same DODO contest as other tools and achieved 90+% coverage both times! Check the entire process below and integrate Plamen in your development workflow now
English
The Monna Lisa is out.
ulrich.haboeck@UHaboeck
Quick announcement: After long and heavy suffering :) the S-two white paper is finally out: eprint.iacr.org/2026/532 Although nothing new in regard to the basic principles (a circle STARK, etc.) the white paper yet contains several details of broader interest: - A formal description of the flat AIR circuit model (used by several contemporary zkVMs) - A thorough soundness analysis of multi-table proofs: If one does not use "lifted" FRI, taming the soundness error turns out to be more sophisticated as expected. We introduce the notion of "cross-domain correlated agreement", and show that multi-table FRI satisfies this property. - A discussion of adjusted conjectures, which takes into account the recent boost of proximity gaps counter examples. We believe that it is plausible to hope for acceptable list- and line-decodability properties up to the information-theoretic barrier, the Elias bound. Thanks for all the help from the StarkWare team, and in particular to Dmitry Krachun for the many helpful discussions around his counter example.
English
Another huge actor in the space. They deployed mainnet at the speed of light what the hell (ok it's a semi-copy of Ethereum but still impressive).
Tempo@tempo
English
These corposlop guys seem to have forgotten the power of hackers.
LonelySloth@lonelysloth_sec
@injective is a sad joke. How long can it survive without the **extremely underpaid** help of top white hats? **You should not submit bugs to them** unless you want to be equally mistreated. That sort of behaviour is damaging to all SRs and the entire industry, including all legitimate BBPs run by serious people who actually care about security. Let’s see: Ignored critical LOSS OF FUNDS for 3 months. Attempt to classify COSMOS bug as WEB. 😂 Claims impact is misleading but cant provide specifics of how much money could be stolen. Try to say bug not being exploited is a problem for the report 😂 The “head of engineering” @bangjelkoski is just throwing technical nonsense at the issue and pretending it sticks. Is he even technical at all? Does he know what a bug bounty is? Doesn’t sound like it. Sounds like Chat-GPT from ‘23 making excuses. How likely is it that this was the first critical Loss of Funds bug to go unnoticed? Id say 0% likelihood. **I’d say extremely likely it wasn’t the last one either.** Again 0% likelihood its the last protocol-ending level bug. But it will probably be the **last time they are helped by white hats.**
English
Things are getting interesting (and complex).
Lior Goldberg@LiorGoldberg2
Today, Starknet integration was upgraded to v0.14.2. Why is this important? Starknet 0.14.2 lets you attach a zk-proof to your transaction. This proof is verified at the protocol level (much more efficient than verifying it in a contract). So what does this mean? This capability is at the heart of STRK20, Starknet's privacy infrastructure. Coming soon to testnet and mainnet.
English
@ProgrammerSmart I went deeper on the DEEP Composition polynomial structure over GF(p^2) and how we actually end up considering Proximity stuff during folding, but I didn't consider much RS formalisms. You'll see (end of the month my work will be out, but in italian...)
English
ZKSTARK
Why FRI detects a dishonest prover
- Proximity gap theorem (optional)
- Distance preservation under fold
- Honest and dishonest prover
Notes
github.com/t4sk/notes/tre…
English
@ProgrammerSmart It's crazy we are doing the exact same study path in the same time.
English
Funny how the same people who celebrated AI doing their homework in 2022 are now upset that AI can do their job in 2026.
English
@KusumNFTs Nobody gives a shit about gender, we don't even know if we are humans.
English
do u think there is a gender bias in web3?
curious to know what people think
personally, never had an upper hand being a girl but not sure if somehow it did work?
i think hardwork is baseline for everyone
regardless of who you are
plus luck has a huge role too
my 2 cents!
English
Want free humans audit?
Don't pay for any sub but fix everything realtime then disappear from the radars.
curiousapple@0xcuriousapple
you want a free ai audit ? don’t pay for any sub haha just go and start war between firms/SRs, and you will get free scans
English