Ironside Security 🪙

portfolio :

[Ironside Security 🪙 @IronsideSec]

composer 2.5 🐐🐐🐐🐐🐐

[Ironside Security 🪙 @IronsideSec]

@Jeyffre when is the best time to do that 6k steps?

[Ironside Security 🪙 @IronsideSec]

@0xfrsmln @DRTR8_ 2 is the answer ser. Welding is a stronger bond mechanism.

[Ironside Security 🪙 @IronsideSec]

@philbugcatcher just `gpt 5.5 xHigh (codex)` or tried `gpt 5.5 pro (via api)` ?

[tpiliposian @tpiliposian]

Hey chat, we are still looking for a couple of strong senior security researchers at @Certora to join our team of top researchers in the space and work with some of the biggest protocols.

Do not overthink it just send me a DM with your public profile or portfolio.

[Ironside Security 🪙 @IronsideSec]

@ShieldifyMartin https://t.co/UoL1FBW0lk

[Ironside Security 🪙 @IronsideSec]

@moo9000 @pashov @trailofbits @cyfrin @0xKaden @QuillAudits_AI @archethect check https://t.co/v1n0CoAGh9

[Ironside Security 🪙 @IronsideSec]

@philbugcatcher 🥲

[Pyro @0x3b33]

https://t.co/SIVf7XF7kn

[kaden.eth @0xKaden]

who is this? what project is this? what was the bug?

i NEED to know

[Ironside Security 🪙 @IronsideSec]

1. install https://t.co/L3i9ibkIeY TUI
2. use `kimi K2.5-free`

[kaden.eth @0xKaden]

here's a directory of 38 smart contract vulnerabilities optimized for ai audit agents

have fun

https://t.co/C69dGJBfy1

[RareSkills @RareSkills_io]

After nearly a year of writing and revision, we’re proud to finally present a new book from RareSkills, created in collaboration with @Certora:

Formal Verification with the Certora Prover

Certora makes formal verification accessible—but for newcomers, there’s still a large set of unfamiliar concepts to learn.

Teaching a broad and unfamiliar field comes with pedagogical challenges. Dive into projects too early, and you’re forced to use syntax you don’t yet understand. Delay compelling applications too long, and readers lose interest.

We worked carefully to balance showing “cool examples” without presenting anything that feels magical—i.e., concepts the reader hasn’t yet built a mental framework for.

Our hope is that this work helps formal verification become a more standard part of development and auditing.

Clocking in at well over 60,000 words, this is not a small book. But like any RareSkills publication, it’s information-dense yet approachable, thorough without being academic, and above all, practical and illuminating.

In a space that quickly jumps from one meta to the next, we’re proud to collaborate with a company willing to invest in long-horizon projects that make Web3 safer.

Link in the reply.

[Ironside Security 🪙 @IronsideSec]

@DevDacian @cyfrin @DevDacian, please check your DMs

[Dacian @DevDacian]

Q) How can I work on private audits with @cyfrin ? (50+ auditors DM'd this question)

To join full-time you must have provided great value on our private audits as an Eagle contractor.

To become an Eagle contractor you must have a stacked portfolio of existing work.

[Ironside Security 🪙 @IronsideSec]

@philbugcatcher 911 GT3 rs
but there would be no roads/tracks for these in 1800

[Ironside Security 🪙 @IronsideSec]

@philbugcatcher @__alexlazar__ Terms & conditions ✅

[Ironside Security 🪙 @IronsideSec]

Cursor wrapped 2025