Readit News logoReadit News
benaadams commented on Road to ZK Implementation: Nethermind Client's Path to Proofs   nethermind.io/blog/road-t... · Posted by u/benaadams
benaadams · 3 months ago
Zero-knowledge proofs are basically a way to trust code execution without re-running it yourself.

Compile C# to a minimal RISC-V runtime. You run the program once, and instead of shipping all the outputs and logs, you generate a zk proof—a tiny math receipt that says "this execution was correct." Anyone can verify that receipt in milliseconds.

It's a bit like TEEs (Intel SGX, AMD SEV) where you outsource compute to someone else and rely on hardware to prove they ran it faithfully. The difference is zk proofs don’t depend on trusting special chips or vendors - it's just math.

Implications:

* Offload heavy workloads to untrusted machines but still verify correctness

* Lightweight sync and validation in distributed systems

* New trust models for cloud and datacenter compute

benaadams commented on EU Council has withdrawn the vote on Chat Control   stackdiary.com/eu-council... · Posted by u/skilled
kstrauser · 2 years ago
And if they do?

I like the GDPR. I comply with the local CCPA version. I’m not legally obligated to follow the GDPR though. I’m unaware of any agreement the US has with EU that puts me under its jurisdiction.

benaadams · 2 years ago
benaadams commented on .NET 8 Standalone 50% Smaller On Linux   learn.microsoft.com/en-us... · Posted by u/tomaszs
andrewstuart · 2 years ago
Who is using .NET on Linux?

I'm interested to hear success stories.

Sounds like a a great way to build and deploy applications.

benaadams · 2 years ago
41% of EVM nodes on Ethereum run .NET on Linux via Nethermind(https://github.com/NethermindEth/nethermind).

Ethereum has a Market Cap of $249Bn and $34bn of other assets in smart contracts.

So you could say .NET on Linux has under management $116Bn and handles $800m of asset transfers per day, napkin math

benaadams commented on Nvidia DGX GH200: 100 Terabyte GPU Memory System   developer.nvidia.com/blog... · Posted by u/MacsHeadroom
YetAnotherNick · 3 years ago
Wow, 480 GB per GPU! What happened to end of Moore's law?

I hope this improvement translates to consumer GPUs as 24GB is a big limitation.

benaadams · 3 years ago
End of Dennard scaling was the performance breakdown. Meant chip frequencies couldn't be cranked higher and higher as temperature dissipation became more and more of an issue https://en.wikipedia.org/wiki/Dennard_scaling

u/benaadams

KarmaCake day4568September 7, 2015
About
[ my public key: https://keybase.io/ben_a_adams; my proof: https://keybase.io/ben_a_adams/sigs/gvU8GwPtjTPPJkoiHhuw1fW7zJ-3qMcHhbK2r-BuxrY ]
View Original