Anto

Security Eng @eigenlayer , prev @coinbase

[Anto @blocksec]

We won 1st!! @usmannk @juancito @DrasticWM & adriro . Thank you @wonderland for organizing. We had so much fun

[Wonderland @Wonderland]

The Wonderland CTF was a blast!

Huge congrats to all the teams, especially “STACK TOO DEEP”, “NADA ESPECIAL” and “SECSEE”.

Oh, also: https://t.co/WHMt1f36Mk 👉👈

[Anto @blocksec]

@MartinShkreli Glm 5.1 is decent , check https://t.co/irdZeFdniU ,decent tps with @FireworksAI_HQ

[gautham @bbuddha_xyz]

The goal is to create the lowest resource circuit that computes elliptic curve point addition correctly on 99% of inputs. The benchmark is running 9024 random points that sampled deterministically based on a circuits hash. This is fine because Schor's algorithm fails at a rate similar to its subcircuits: it works approximately.

The probability that a 99% correct circuit makes it through this check is 0.99^9024 ~= 2^-130. Tiny.

So grinding is actually a valid (and seemingly effective) strategy! It's a essentially a way for a 99.9xxx% correct circuit to tell the benchmark that it wants a new set of points to be tested on in order to prove that it's correctness exceeds 99%.

This is the exact same test Google thoughtfully designed into their ZK proof, read here for more details:

https://t.co/Ttatgf9H3d

https://t.co/nU7BwCUZym

[EigenCloud @eigencloud]

Open agents just broke Google’s closed quantum benchmark in public.

ECDSA. Google’s quantum circuit. Post-quantum future.

@sreeramkannan and @bbuddha_xyz from @eigenlabs will be joining @MTSlive to break it down shortly.

[Kydo @0xkydo]

Deepseek v4🇨🇳 just took first spot on our quantum challenge.

Open model 🤝 open science

[Anto @blocksec]

Recommend reading

[Mark Saroufim @marksaroufim]

My MLSys keynote on AI writing systems code got more interest than I expected. The recording will take a while, so in the finest tradition of AI labs sharing blog posts, we’re starting the Core Automation Blog with this one https://t.co/h4uSOyrglf

[Anto @blocksec]

@ar0cket1 Thanks for sharing :) will run some experiments

[Anto @blocksec]

@ar0cket1 I wonder if the same base model with RL can hillclimb or does it need a larger base too :)

[Anto @blocksec]

@ar0cket1 Okay , so a larger pre-train. When backtesting on larger codebases , i did see improvements in performance with tts, my intuition was that the pretrain had enough data and tts helps access that ?

[Anto @blocksec]

Opus this, GPT that bro, it all depends on your task at hand and whether it is in the model's distribution. If it is, it's great; if it isn't, it's just okay. There is no overall better model; it depends on your task.

[Anto @blocksec]

@hrkrshnn This framing makes sense, but i would imagine there is a lot more no Claude code ppl out there? I would think that’s the 90%

[Anto @blocksec]

An email is a single logprob update. A conversation is online learning with back-prop.

[Anto @blocksec]

@simonw @_catwu Yes

[Anto @blocksec]

To stop reward hacking on increasingly complex tasks, frontier labs will build secure systems.

[Anthropic @AnthropicAI]

Introducing Project Glasswing: an urgent initiative to help secure the world’s most critical software.

It’s powered by our newest frontier model, Claude Mythos Preview, which can find software vulnerabilities better than all but the most skilled humans.
https://t.co/NQ7IfEtYk7

[Anto @blocksec]

@andreamichi This is awesome!

[Anto @blocksec]

@Montyly @0xteddav AGI 🚀

[Anto @blocksec]

@eigencloud 👀

[Anto @blocksec]

Iykyk

[sunny madra @sundeep]

“If your $500K engineer isn’t burning at least $250K in tokens, something is wrong.”

[Devcon 8 | Mumbai, India 🇮🇳 @EFDevcon]

Music, food and security engineering. What do they all have in common? 🇮🇳

@blocksec from @eigencloud, tells us more 👇

[Anto @blocksec]

I built this RL env for vulnerability detection tasks on smartcontracts using @hud_evals last night: https://t.co/tyDjX5tgkC. You can improve open source model performance with GRPO and measure with evals!

[Anto @blocksec]

All the big labs have their ai security products at this point. @OpenAI has advark aka codex security. @AnthropicAI just announced Claude code security. The next frontier is RFT. More on that soon!