Andrew Miller (@socrates1024) 's Twitter Profile
Andrew Miller

@socrates1024

securitized a shaggy dog story 🛡️
warpcast.com/socrates1024

ID: 22847791

linkhttps://soc1024.com/ calendar_today04-03-2009 22:43:05

26,26K Tweet

20,20K Followers

3,3K Following

zon 🪢 (@itsalwayszonny) 's Twitter Profile Photo

IBC is great but most chains that use it don't have enough txs or IBC packets to have met problems. We did though 💀. Bridging got absolutely cooked during The Initiation because Minitias are fast and folks were sending plenty of IBC txs across them. Cosmos notoriously has

Ben Diamond (@benediamond) 's Twitter Profile Photo

new paper out with Angus Gruen! eprint.iacr.org/2024/1351. in this paper, we prove that if a linear code over a field exhibits proximity gaps over affine lines, then its interleavings also do. we also amend the "general conjecture" for proximity gaps in the UDR [DP23, Conj. 2.4].

Peanut Protocol (@peanutprotocol) 's Twitter Profile Photo

🚨🚨🚨HIRING ALERT🚨🚨🚨 We’re expanding the team and are on the hunt for two developers. WE WANT TO MEET YOU! Check out the job descriptions in our profile or visit peanut.to/jobs, apply, and join us to shape the future of payments.💸🥜

🚨🚨🚨HIRING ALERT🚨🚨🚨

We’re expanding the team and are on the hunt for two developers. WE WANT TO MEET YOU! 

Check out the job descriptions in our profile or visit peanut.to/jobs, apply, and join us to shape the future of payments.💸🥜
Runtime Vеrification (@rv_inc) 's Twitter Profile Photo

🐞🔨 Earlier this year, we started working with Lido to formally verify their dual governance mechanism Check out our new blog, which dives into the design review phase and how we developed proofs of two critical properties👇 runtimeverification.com/blog/with-33-b…

Tropic Square 🌴🔲 (@tropicsquare) 's Twitter Profile Photo

Kicked off #CHES2024 Canada 🇨🇦 with a day of affiliated events Including the ORSHEC workshop with ORSHIN Horizon Europe Project (101070008) Shout out to our security researcher for walking the audience through the “Noise Secure Channel in Open Hardware Case Study” Looking forward to learning from the rest

Kicked off #CHES2024 Canada 🇨🇦  with a day of affiliated events

Including the ORSHEC workshop with <a href="/ORSHIN_HE/">ORSHIN Horizon Europe Project (101070008)</a> 

Shout out to our security researcher for walking the audience through the “Noise Secure Channel in Open Hardware Case Study”

Looking forward to learning from the rest
Joe Morrison (@mouthofmorrison) 's Twitter Profile Photo

YC company announces a giant data center in space Startup Twitter: Makes so much sense, it will be so easy to cool in space! Space Twitter: How the hell are they proposing to keep it cool??

Ventali (@ventali_) 's Twitter Profile Photo

Valida team Lita is looking for one top crypto engineer. Based in SF. Needs to be actively working on SNARK optimizations and have deep theory background and engineering experience working with proving system. DM me your CV + code samples if interested.

Phala Network (@phalanetwork) 's Twitter Profile Photo

🚨BREAKING NEWS🚨: Phala Shipped the First-Ever GPU TEE Benchmark! Benchmark Research Highlight: ✅ LLaMa 3, Microsoft Phi Models Tested ✅ Tests Performed on nVIDIA H100 ✅ With #TEE Mode On 📊 Key Results: • Up to 150 TPS for LLaMA-3-8B • Performance trade-off as low as