I'm interested in learning about formal methods and zero-knowledge proofs, particularly for their use in verifying software. I know very, very little about this, but it would be very useful if I knew more.

What are some good basic introductions?

I'm going to poke around a bit with Lean and Dafny. What else might I look at to get, at least, what you might call a "dinner party level" of understanding -- enough so that I can follow and basically participate in a conversation about those in a not-so-formal situation?

#cs #formalmethods #zkp

A very clear and simple explanation of the selective disclosure and zero knowledge proof (#ZKP) in the digital-wallet world from @leifj https://siros.org/blog/zero-knowledge-proofs-selective-disclosure-and-the-future-of-scalable-wallets

Many people know a lot, but the skill of explaining things to mass is different skill set. I wish to write this clearly.

Oh I like this!

#xckd #xkcd2501 #meme #cryptography #nerd #zkp #zeroknowledge

#e_id #ZKP

This just blew my head: we're looking at the latest and greatest ZKP frameworks before digging more into noir, and I saw this:

https://doc.rust-lang.org/rustc/platform-support/riscv32im-risc0-zkvm-elf.html

A freakin' RUST TARGET FOR ZERO KNOWLEDGE PROOF VIRTUAL MACHINES!

So: take your rust program (not all of std is supported), compile it to a zkvm, and run it there!

I found this on OpenVMs page:

https://github.com/openvm-org/openvm

Phiên bản 0.7.0 “Soul Layer” của AgentAuth (mở nguồn) giới thiệu 3 tính năng: Persona System cho AI agent có “linh hồn số” ký tên HMAC, xác thực ẩn danh Zero‑Knowledge Proof, và Anti‑Drift Vault giám sát hành vi, tự động thu hồi khi lệch chuẩn. Thêm 16 API mới, SDK TypeScript/Python và dashboard chỉnh sửa persona. Mời góp ý! #AI #OpenSource #AgentAuth #ZKP #Security #CôngNghệ #MãNguồnMở

https://www.reddit.com/r/SideProject/comments/1qtmke1/agentauth_v070_soul_layer_we_gave_ai_agents_a/

Second layer do Bitcoin sem token — VTVM e saída unilateral

E se existisse uma second layer do Bitcoin onde você entra e sai só com BTC — sem token? 🤯

• O conceito:
- Second layer que permite entrar e sair com Bitcoin diretamente, sem criar ou usar tokens.

• Diferencial técnico:
- Saída unilateral: você pode sair da camada sem precisar coordenar com o parceiro de canal — menos dependências e mais segurança.

• Quem está...

#Bitcoin #VTVM #Layer2 #Lightning #zkp #crypto #MorningCrypto

How #ZeroKnowledgeProofs Work

https://firewallsdontstopdragons.com/how-zero-knowledge-proofs-work/

#ZKP #privacy

#ZKP #eID #swiyu

I'm very happy to say that Ubique, working on https://www.heidi-universe.ch/en/index.html, told me to use `--release` with `cargo-test` :)

Now our benchmark looks quite different from the last one:

https://eid-privacy.github.io/2026/01/09/poc-report.html

Before: Noir is as fast or faster than Docknetwork
Now: Docknetwork is as fast or much faster than Noir

The next thing I need to find out is how to run benchmarks directly on a mobile phone. Is there some kind of server I can tap into with a github workflow?