This feedback loop stuff feels. good?.

RT @victorokpukpan_: If you saw my previous post, you'd remember I said I was going to be learning formal verification in my free time. We….

If you saw my previous post, you'd remember I said I was going to be learning formal verification in my free time. Well, so far, it's been bumpy. Mostly because I’ve got other stuff I’m doing dev-wise. Between Halmos and the Certora Prover, I think Halmos connects more easily

Turning an intended behaviour into an exploit path >>>>>>.

Cooking something cool on @Neon_EVM. Simple use case, but the features I'm adding make the UX really smooth. I just hope I can deliver on time. I've put a hold on adding new features for this MVP. What I have now is enough. Let's see how it goes.

Learning Rust and ZK development from @CyfrinUpdraft, purely to widen my range when it's time to audit. The learning never ends.

Final week!. I can't believe I made it to week 10 of the @Neon_EVM Bootcamp. The final lesson was all about the GTM strategy. We were taught about the user acquisition funnel and the important KPIs at each stage. The one thing that stuck with me was the part about crafting a.

Finally!. You asked, and @CyfrinUpdraft heard you. You can now learn Rust programming directly from @CyfrinUpdraft, tutored by one of the very best, @ProgrammerSmart. You're welcome.

What songs do you listen to while auditing?.

RT @CyfrinUpdraft: 1.5 years ago, we launched Cyfrin Updraft. Since then, we've helped over 200k students master:. - DeFi.- Solidity.- Wal….

So far, I have done mostly manual audits. I have learned fuzzing, but have I ever used it during an audit? No. I always feel like I need to understand the codebase properly before I even know what to fuzz. Result? I go down a different rabbit hole each time, chasing some.

For some reason, I've become increasingly drawn to @CertoraInc, the Certora Prover, and Formal Verification in general. Could this be a pivotal moment?.

I just completed the Product-Market Fit module in the @Neon_EVM bootcamp. The biggest thing I’ve learned is to build for users who would be disappointed to lose your product, not those who are indifferent. Proud to have made it this far in the program.

I am obsessed with growth.

RT @arsen_bt: As a Web3 Security Researcher. Please learn:. EVM. 1. How calldata works/structured.2. Assembly, low level vulnerabilities .3….

Successfully deployed a Neon EVM + Solana Native Swap Demo. - Deployed PancakeSwap contracts (Factory, Router) on @Neon_EVM .- Created ERC20ForSPL tokens mapped to Solana SPL tokens.- Set up a liquidity pool & pair.- Upgraded the swap UI for a better user experience. All

RT @Neon_EVM: Friday = Bootcamp Legendboard Update. today's top 5:.@Goodnesmbakara.@HabeeblaiM.@codewithmide.@victorokpukpan_.@ufotgodspowe….

Cc: @Neon_EVM @Jules_Gallen.

I just completed a cross-chain composability test on Neon EVM devnet involving an Aave V3 flash loan:. - Borrowed USDC using Aave's flash loan feature, .- Used those funds to perform arbitrage trades on Solana's Orca Whirlpool DEX. All in a single transaction.

RT @PatrickAlphaC: Hot takes that I think shouldn’t be hot, and should be “the default”. 1. The contest platform is ultimately responsible….