Still curious about quantum computing’s effect on Ethereum? Wrote about Lean Ethereum research, Ream’s approach, and the challenge of building quantum-safe infrastructure. hackmd.io/@Annie25/H1slccnAW…

If you're starting to learn ZK or cryptography, getting familiar with a finite field library is important. One that we use extensively in our courses is the galois library for Python. It's excellent for learning. Combined with another library such as py_ecc, which implements elliptic curves, it's possible to write Groth16 and PLONK from scratch. But it's also very useful for simply experimenting with polynomials, roots of unity, interpolation, NTTs, and many other concepts in finite fields.

something i wish someone had told me when i started: there is a method to reading ZK papers that makes them 10x more accessible most people try to read front-to-back like a textbook. this is a mistake. ZK papers aren't written to teach. they're written to prove results to peer reviewers. the exposition is optimized for verification, not understanding here's the approach that works for me:

My Team and I @ali_anuoluwapo and @rosedevgold came third in the just concluded lagos @hack4_freedom hackathon. it was a big win for us despite coming third. where we built Bitscy a bitcoin market place for African creatives. Thank you @hack4_freedom @evento_so @briimhd @ibrahim_sekinah @btrustteam mentors, judges, and all the wonderful ladies who participated ❤️❤️🎉

Pitching Bitscy at the @hack4_freedom lagos with @ali_anuoluwapo and @rosedevgold

Ethereum consensus from scratch: slots, proposers, attestations, BLS aggregation, fork choice, and finality. A beginner-friendly walkthrough for reading Ethereum research without getting lost.👇🏽 hackmd.io/@Annie25/Sk0kStnkz…

We are happy to share that Ream is passing the Lean Ethereum Hive test suite. hive.leanroadmap.org/

If you’ve been looking for a structured path into Web2 and Web3 development, this is worth exploring. Registration for Web3Bridge cohort XV is now open. The program covers: → frontend backend development → Solidity → ZK engineering → Rust for Web3 It’s designed to be practical and hands-on, with a strong focus on building real skills. If you’re serious about learning and transitioning into this space, you can register here: web3bridgeafrica.com/registe…

Just wrapped up an incredible cryptography-focused week in Rome! From Lean 4 formal verification to the rapid acceleration of quantum computing, the SNARK and crypto space is evolving fast. Here are my top takeaways from the frontier of cryptography. 🧵👇

Happy new month 🎯 Spent April deep in my ZK project at @Web3Bridge with my teammate @ali_anuoluwapo Tutor: @WiseMrMusa Topic: Shielded Transactions Covered the state of the art, chain-level requirements, mixers and privacy pools, EVM compatibility, and a deep dive on Aztec Network. To the ZK gurus: please review and tell me what I missed. No one is perfect. Link 👇 docs.google.com/document/d/1… #ZK #ZeroKnowledgeProof #BuildingInPublic @EliBenSasson @Starknet @StarknetAfrica @Stellar_WA @Celo

How to Read a ZK Protocol? How to find High impact Vulnerability in zkp? - When reading any ZK protocol, ask these questions: - What is the statement? - What is the witness? - What is public? - What is private? - What does the prover control? - What does the verifier check? - Where does randomness come from? - What is committed? - What is challenged? - What is revealed? - What remains hidden? - What assumptions are required? - What happens if inputs are malformed? - What edge cases exist? - What exactly does verification guarantee? These questions are simple. But they are powerful. They turn you from a passive reader into an active reviewer. That is how you begin thinking like a ZK engineer. And eventually, like a ZK security researcher who find High impact bugs!!

After 16 weeks of RIGOROUS grind at @Web3Bridge, participating in their Zero Knowledge program; My team built a full shielded token stack on EVM for private token transfers and I’m sharing both a demo video (Privacy native wallet extension User facing dApp UX) and the technical paper in this post. Architecture: Noir circuit Barretenberg/Aztec UltraHonk proving Solidity verifier relayer client-side note discovery. Model: UTXO-style notes with - commitment = Poseidon(owner_pk, token_field, amount, blinding), - Nullifier-based one-time spends (nullifier = Poseidon(spending_key, commitment)), - Depth-20 incremental Merkle tree rolling root window, fixed public input lanes, and mode-gated constraints for transfer/unshield. - ShieldedERC20Pool (multi-token allowlisted pool) with routed encrypted note delivery (RoutedCommitment) using ECDH HKDF-SHA256 AES-GCM, and channel/subchannel for note discovery. Design goal is explicit: private in-pool state transitions with verifiable integrity, while shield/unshield remain honest public boundary actions. If you watch the video read the paper, you’ll see both the privacy native wallet extension and the user facing dapp full loop working end-to-end: shield → private transfer(s) → note scan/decrypt → nullifier checks → unshield. Big shout out to the mentors holding our hands throughout the duration of the program. The knowledge passed has been invaluable. @WiseMrMusa, @only1franchesco, @Oba_Ddev, @Dev_esayayo. Next steps for us are; - Production hardening and compliance-by-design - Formal security review/audit of circuits/contracts/relayer, wallet key-management hardening (secure enclaves/HSM-backed options), relayer auth anti-replay protections - Performance tuning for proof latency/UX. - In parallel, we’ll implement a compliance layer that preserves base protocol privacy while enabling jurisdiction-aware controls at the app edge (sanctions/geo screening for boundary actions, risk scoring/transaction monitoring, optional disclosure and auditable consent flows for regulated contexts), alongside legal review and phased rollout with testnet pilots before mainnet. Read technical document here: drive.google.com/file/d/1oDq… References / lineage: (@Zcash) Zcash protocol (UTXO commitments, nullifiers, shielded value flow) (@Ztark_Labs) STRK20 shielded token design direction (@aztecnetwork) Aztec/Barretenberg UltraHonk proving system Noir language/tooling for circuit authoring.

Lagrange interpolation is the reason ZK proof systems can encode entire computations as single polynomials. without it, there are no SNARKs, no STARKs, no PLONK. let me break it down from scratch.

If you signed up for @WPReadingClub Lagos tomorrow's reading session, check your mailbox 😅

I wrote a simple breakdown of Ethereum’s post-quantum signature problem and some of the proposed ideas around it: XMSS, recursive SNARKs, and Poseidon hashing. Would love your feedback🙂 Read here 👇🏽 hackmd.io/@Annie25/r1rHSG9AW…

Well Rust school has started. What started mindlessly for me is becoming real. Thanks to @_HerDAO for this opportunity and @ali_anuoluwapo Rust for Embedded systems? Bringgggg. My Solidity bootcamp update is coming too.

Huge thank you to everyone who already helped. Guild Academy is now at $73.42, raised from 18 contributors in the Ethereum Security Fund round on @Giveth. This is already amazing, but I’m still trying to get more real verified supporters. Even $1–$5 helps a lot because small donations from unique verified wallets can receive matching. Before donating, please do this first (this is for people that never donated on giveth): 1. Click Check eligibility 2. Click Go to Passport 3. Connect a wallet you actually use 4. Complete the quick check 5. Go back to Giveth, click refresh score, then donate 6. Click Add to Cart and finish the donation from the cart link: qf.giveth.io/project/guild-a… Thank you so much. This really helps Guild Academy keep building free Web3 security education ❤️ Please do well to also donate to other projects

BREAKING: Never leave this earth without knowing Jesus. Pass it on your timeline until it gets to everyone on X.