3. Key Innovations & Security Dual Agent Auth: ERC-8004 registry (priority) or owner-managed mapping (bootstrap mode). Reentrancy: Custom storage guard proven safe across delegatecall chains. ZK Security: Nullifier = keccak(vKey ‖ publicValues ‖ proof) marked before verification. Escrow: Strict state machine expectedBudget anti-front-running. Intent Execution: Whitelisted targets real balance delta slippage checks self-call block. Upgrade Safety: Bounds-checked upgradeDiamond, no mid-loop mutations. Audited Mindset: CEI everywhere, custom errors, NatSpec, zero-address guards, supply caps. Passed full simulation attacks: reentrancy, storage collisions, access bypass, replay, MEV, DoS

Mini tutorial: verify Ed25519 inside Pico (no oracles) with @brevis_zk 1) zkVM logic (Rust) — prove signature validity #![no_main] use pico_sdk::{io, entrypoint}; use ed25519_pico::verify_ed25519; // function-level coprocessor entrypoint!(main); pub fn main() { let msg: Vec<u8> = io::read_vec(); // raw message let sig: [u8;64] = io::read_as(); // Ed25519 signature let pk: [u8;32] = io::read_as(); // Ed25519 public key let ok: bool = verify_ed25519(&msg, &sig, &pk); io::commit(&ok); // only the boolean is public } Stage goal: the signature check happens inside the zkVM, the chain only learns ok. 2) Prove (STARK → SNARK for EVM) cargo pico build cargo pico prove --groth16 3) Verify on chain (Solidity) require(verifier.verify(proof, publicValues)); require(publicValues.ok, "invalid ed25519 signature"); Result: a portable, trustless sign in path for Ed25519 wallets, no API calls, no key leakage, just math you can verify on chain.

I’ve been experimenting with again, this time i wanted to prove wallet ownership inside the zkvm itself, no oracles, no apis, just pure cryptography. Heres how I did it: 1- Logic inside Pico zkVM (Rust) #![no_main] use pico_sdk::{io, entrypoint}; use secp256k1_pico::verify_ecdsa; // built-in precompile entrypoint!(main); pub fn main() { let msg: [u8;32] = io::read_as(); // message hash let sig: [u8;64] = io::read_as(); // r||s let pk: [u8;33] = io::read_as(); // public key let ok = verify_ecdsa(msg, sig, pk); io::commit(&ok); } - This stage uses the function-level coprocessor to verify ECDSA fully inside the zkVM. 2- Prove it cargo pico build cargo pico prove --groth16 3- Verify on-chain require(verifier.verify(proof, publicValues)); require(publicValues.ok, "invalid signer"); And boom, wallet ownership proven mathematically, no trust layer needed. Thats the power of Brevis, making verification native to computation itself. See you in the next mini tutorial, were just getting started.

gBrevis guys Today i present to you a new mini tutorial stage by stage, how to bind proofs to your dapp context with @brevis_zk 1) Pico zkVM logic rust, validate bind to chain, app and caller #![no_main] use pico_sdk::{io, entrypoint}; use sha3::{Digest, Keccak256}; entrypoint!(main); pub fn main() { // inputs: amount, chainId, contract, caller let amount: u64 = io::read_as(); let chain_id: u64 = io::read_as(); let contract: [u8;20]= io::read_as(); let caller: [u8;20]= io::read_as(); // app rule let valid = amount >= 1_000; // context binding = keccak(chainId || contract || caller) let mut k = Keccak256::new(); k.update(&chain_id.to_le_bytes()); k.update(&contract); k.update(&caller); let binding: [u8;32] = k.finalize().into(); io::commit(&valid); io::commit(&binding); } What this does, proves amount ≥ 1000 and commits a binding so the proof cant be replayed on another chain, contract or caller (Kaito: original, useful, anti spam). 2) Prove cargo pico build cargo pico prove --groth16 3) Verify on chain (Solidity) require(verifier.verify(proof, publicValues)); bytes32 expect = keccak256(abi.encode(chainid(), address(this), msg.sender)); require(publicValues.binding == expect && publicValues.valid, "bad proof/binding"); Result: a portable proof thats context locked to your dapp, no replays, no oracles, just verifiable logic.

📣 Grateful to my amazing co-authors Tanusree Sharma @Tanusree_Sharma, Yujin Potter @yujink_, Zachary Kilhoffer, Dawn Song @dawnsongtweets, and Yang Wang @salt_ischool, and to the @OpenAI Democratic Input to AI grant for supporting our @AIESConf paper on designing AI shaped by the people, for the people. 💡🤝 #AIES #AIethics #AIgovernance #PublicValues #DemocracyInAI

For the 3rd day of #TILTing2024 the main focus was on #AI ! From a deep dive session on teaching #ResponsibleAI to panels on AI, #DataProtection & #FundamentalRights 💬 Yesterday's also included important conversation on European #DataSpaces #DigitalMarkets & #PublicValues

If you’re in Amsterdam today, join us at the #PublicSpaces conference to discuss how we can take back the internet and make it community control. I will also make sure to include in my presentation on the panel “Global Responses to Big Tech” how the inhumane resource exploitation in the Congo fuels the 4th Industrial Revolution. conference.publicspaces.net/… See you in the few hours and for the duration of the conference! —— On June 6th & 7th, our annual PublicSpaces conference will once again take place at Pakhuis de Zwijger. With this year’s theme being ‘Taking Back the Internet!’ How do we - as citizens, organisations and governments - regain control of our data and our digital lives? This is THE conference you must attend, if you are socially involved and have to do anything with the Internet & digitalisation! We have sessions on sustainable digitisation, the impact of generative AI, digital autonomy, how to escape the social media trap and much & much more! With inspiring speakers & panelists including. Bert Hubert, Alexandra van Huffelen, Astrid Poot, Karen Palmer, Björn Staschen, Sebastian Lasse, Maaike Okano-Heijmans, Reijer Passchier, Remco Pijpers, Theresa Song Loong, Wido Potters, Marlijn Gelsing, Manfred Zielinski, Alexandra van Straaten, Tamara van Zwol, Kambale Musavuli, Alexander Baratsits, Eefje Cuppen, Hannah Boute, Eelco Maljaars and many more! And a wonderful music, art & performance program including Lashaaawn, Luna Maurer, Jan Zuiderveld, Toshi Reagon, Benjamin Fro and more! Check out the full program: lnkd.in/eEGMvrBS Don’t forget to register your ticket today: lnkd.in/ejMDQKaY #PubConf2024 #OpenSource #OpenStandards #PublicValues #AI #GenerativeAI #HumanRights #BigTech #Amsterdam #Sustainability #Ethics

Waw, what a thought-provoking and inspiring #CPDPai2024 panel on how to hard code public values into digital platforms and recommender systems, instead of only looking at ‘user engagement’💡 @uhasselt @VUBrussel @SSW_UHasselt @imec_smit #publicvalues #recsys #GDPR #DSA

Urgent discussion in #CPDPai2024 panel, on role of #research and researchers in #governance of #AI and beyond, moderated by @nhelberger💡 Very pertinent for a civic university @uhasselt and an urban-engaged university @VUBrussel💪 @SSW_UHasselt @imec_smit #publicvalues #DSA

Understanding #PublicValues and their conflicts is paramount for inclusive and sustainable #UrbanDevelopment. @ricohherzog @JulianaEGves @GeerSling @RJKleinhans @TrivikV delve into a novel methodology applied in Hamburg revealing key values and conflicts ow.ly/uQNf50Qf89t

New research from Hamburg provides insights into the pluralism of #PublicValues in urban planning and their #SpatialConflicts. ow.ly/uQNf50Qf89t @ricohherzog @JulianaEGves @GeerSling @RJKleinhans @TrivikV #mixed-methods #participatorydata #naturallanguageprocessing

"If you are a debtor, you are a slave to somebody" Dr Nthabiseng Moleko @TIFSAOFFICIAL #TIFSAConvention #OurCountryOurResponsibility #PublicValues

🎙️ Bishop Malusi Mpumlwana shares insights on Public Values shaping South Africa's identity. Join us for inspiration and vision. Watch the full interview on SABC 🇿🇦✨ #PublicValues #UnityInDiversity #InspiringInterview

Today's agenda - the Interfaith Forum Convention. @TIFSAOFFICIAL #OurCountryOurResponsibilty #InterfaithForum #TIFSAConvention #AwarenessToAction #TIFSAValues #AlternativeEconomicArchitecture #PublicValues #PracticalSolutions

"The greatest enemy to human progress is cynicism and despair. Because when you are in despair and are cynical you have a difficulty imagining" - Dr Sithembele Mbete @TIFSAOFFICIAL #OurCountryOurResponsibility #PoliticalSoultions #PublicValues

“It is not your birth certificate that determines your nationality, it is your humanity” Mark Cutifani @TIFSAOFFICIAL #OurCountryOurResponsibilty #InterfaithForum #TIFSAConvention #AwarenessToAction #TIFSAValues #AlternativeEconomicArchitecture #PublicValues #PracticalSolutions

TIFSA Conference Day 1 youtube.com/live/SJ3-XgCIZ7c… via @YouTube #OurCountryOurResponsibilty #InterfaithForum #TIFSAConvention #AwarenessToAction #TIFSAValues #AlternativeEconomicArchitecture #PublicValues #PracticalSolutions

Day 1 of the @TIFSAOFFICIAL conference. South Africans from diverse backgrounds come together at the Interfaith Convention 🇿🇦 | Fostering unity, understanding, and peace in our beautiful rainbow nation. #InterfaithForum #PublicValues #TIFSAConvention

🤝 At TIFSA, we're dedicated to a South Africa where integrity, justice, and dignity know no boundaries. Join us in creating a just and equitable society for everyone. Together, we're stronger. #InterfaithForum #TIFSAValues #PublicValues

Thursday in Utrecht #BDPC2023 (10:45-12:00) we’ll discuss how to go beyond #dataprotection concerns in higher education. Looking forward to an interactive discussion & interventions by @k_irion (UVA) & Wladimir Mufty (SURF)! #publicvalues #DigitalSovereignty #DataAutonomy