Hi guys, I'm the CTO of BitcoinOS, and I am proud to announce that we've open-sourced Bitsnark 0.2 and it's now available on Github.

Bitsnark is an interactive protocol that allows locking funds in a Bitcoin UTXO in such a way that it can be only be spent by providing a valid GROTH16 proof. Verification is performed on-chain using a cut-and-choose protocol similar to BitVM.

Check it out here: https://github.com/bitsnark/bitsnark-lib

Join our AMA session today (Monday) at 2pm UTC: https://www.google.com/url?q=https://x.com/i/spaces/1YpJkBaZROdGj&sa=D&source=calendar&usd=2&usg=AOvVaw0x74AHcuMMycrarSnzcEQZ

We just announced applications for cohort 6!

Please help us share it with relevant people. If you have any friends or enemies that would be great potential contributors, please invite them to join EPF and become our colleagues
https://blog.ethereum.org/2025/04/10/epf-6

Dauug|36 is a 36-bit architecture for owner-built CPUs, controllers, and minicomputers. Only maker-scale assembly tools are necessary, so this architecture can be implemented anywhere on the planet without a semiconductor foundry. All you need is a bare circuit board, about 300 components, and some soldering practice.

https://dauug.cs.wright.edu/

the state of the art in Bitvm

https://rubin.io/public/pdfs/delbrag.pdf

پیوند جالبی بودش بین داستان هاشون

https://docs.rust-embedded.org/cortex-m-rt/0.6.1/rand/prng/chacha/struct.ChaChaRng.html

+
ZkVM (e.g Sp1)

now you have a zk verifiable PRNG