AtHeartEngineer
1.3K posts

AtHeartEngineer
@AtHeartEngineer
Not active here, find me in the fediverse
انضم Temmuz 2013
1.4K يتبع781 المتابعون

@yush_g 1400 is a little high, but the "altitude"/low air pressure is why you are tired, its a lack of oxygen. I used to fly in uncompressed planes at around 8kft and it was pretty draining.
English

@AtHeartEngineer Because it's measuring via IR absorption at the wavelength at CO2 absorbs, you'd actually expect that this should be an undercount because the pressure is lower (but maybe because it's a ratio they do some kind of correction)
English

@EliBenSasson @fede_intern @rudolf6_ @TobbyKitty @StarkWareLtd IDK when this happened, depending on the time it could be a # of factors: concentration on zkevm (pre 2022), leaning towards proving on L1 (2022-2023), and then PSE grew significantly in a # of directions. Happy to chat on TG, I dont think any of us are against stark(s|ware) <3
English

@fede_intern @rudolf6_ @TobbyKitty @StarkWareLtd Couple of years ago I asked PSE leadership (team with dozens of ZK researchers):
Have you looked into zkSTARKs, Stone, Stwo, Cairo, Sierra?
No.
Would you like us to give a talk about that?
Thx, but no.
English
AtHeartEngineer أُعيد تغريده

Very cool and creative use case of ZK, zkML/AI!!
Turning any physical object into private keys by proving an image matching.
Awesome stuff guys @Rarimo_protocol and @distributedlab
Dr. Z@dr_zircuit
1/ This is the coolest product built with zk that I have seen ever. You can turn any physical objects into private keys! I asked for a repeat demo, because I had to take a video. Rough technical explanation in the thread
English

I'm thrilled to join the @ethereumfndn Consensus specs and testing team! 🚀 My focus will be on developing a robust framework for cross-client fork testing – crucial work for ensuring Ethereum's stability and smooth upgrades. Super excited for this new chapter contributing to Ethereum's core! #Ethereum @ethereum

English

Some personal news! After an incredible journey at @PrivacyScaling (EF) working on the zk-EVM & a novel ZKP language inspired by its design, I'm shifting focus within the @ethereumfndn Foundation. Honoured to have worked alongside some truly brilliant minds at PSE – forever grateful for that experience! ✨

English

@kevinrose @JustinMezzell @alexisohanian @digg > seeking thoughtful collaborators who grasp the magnitude of what's at stake.
Lets talk, I work with @samonchain
English

Working alongside @JustinMezzell and @alexisohanian on the new @digg, I find myself particularly focused on what I see as the defining challenge: the battleground for authenticity.
Put simply: How do we know who's real in a world of perfect AI mimicry?
Right now, we don't. And without intervention, we're heading for a complete collapse of online credibility.
I believe the next evolution of trust goes beyond binary human verification (checkbox or not). What excites me is building systems where trust compounds through verified actions while preserving user privacy. With Zero-Knowledge Proofs, particularly zkTLS, we can authenticate claims without compromising personal data (e.g., someone cryptographically proving they own the Oura ring they're adamantly recommending in an upcoming digg comments thread).
@sama was very prescient here, laying the groundwork with World ID (@worldcoin). I'm excited to see this extended from "this is a human" to "this human's claims are verifiable."
This erosion of digital trust impacts everything we touch online, this is a big problem. If this resonates with you, I'd love to connect - we're seeking thoughtful collaborators who grasp the magnitude of what's at stake.
cc: @OpacityNetwork @earnos_io @worldcoin
English

@TimBeiko @fastdotai Agree with @3blue1brown probably being the best video educational content thats openly available. I really like how @AndrewYNg teaches also.
English

Who is the best online teacher for technical topics (e.g. 201+ level math, engineering, compsci, etc.)?
Looking for examples that aren't traditional academics who just upload their lectures online. A good example is @fastdotai. Looking for similar ones across domains 😄
English

Who is the best guest to discuss zkTLS on @bankless?
English
AtHeartEngineer أُعيد تغريده

🧩 Curious how to build a web app that verifies user data with @tlsnotary?
Try it in action at demo.tlsnotary.org!
Big thanks to the @tlsnotary team, especially @trauma_offline, who built this demo! 👏
English
AtHeartEngineer أُعيد تغريده

Don't miss this talk by the excellent @voltrevo tomorrow (Wed) in Sydney:
Wholesome MPC in TypeScript ✨
Ok I invented this title but I do think 2025 will be a big year for MPC.
The work Andrew and team are building up @PrivacyScaling is driving that, bigly.
Link 👇
English
AtHeartEngineer أُعيد تغريده

Our ZKEmail.nr benchmarks have now been updated to the latest package versions. Make that <5s browser proving time (better computers w/ more threads would probably be even more performant) 💪
(github.com/Mach-34/zkemai…)

Zatoshi@Zac_Aztec
This really is a major achievement that the crypto dev community are largely unaware of proving zkemail in under 2.5s natively and 10s in-browser is a major statement for what client-side proving with @noirlang can achieve. you can build privacy apps today. The future is here.
English

@nibnalin @daimo_eth <3 Looking forward to seeing what you get into next, hope to run into you soon
English
AtHeartEngineer أُعيد تغريده








