@anon
sign up
@anon
sign up
RISC Zero: ZK verifiable general computing platform based on zk-STARKs + RISC-V
github.com/risc0/risc0
126 sats
\
0 comments
\
@nout
4 Sep 2022
bitcoin
related
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]
bitvm.org/bitvm2
6308 sats
\
5 comments
\
@lightcoin
25 Mar
bitcoin
ZeroSync: STARKs for Bitcoin
zerosync.org
4630 sats
\
9 comments
\
@nout
17 Sep 2023
bitcoin
Are there any tools that apply zero knowledge proofs, much like GPG for ZK?
4321 sats
\
5 comments
\
@denationalized
8 Mar
crypto
Zero-Knowledge Proofs of Training for Deep Neural Networks
eprint.iacr.org/2024/162
2026 sats
\
5 comments
\
@0xbitcoiner
5 Feb
crypto
📡 We invite you to review Blockstream's progress in our Q2-23 update 🛰️
5395 sats
\
100k boost
\
12 comments
\
@blockstream_official
14 Sep 2023
bitcoin
Inscriptions, bitcoin-native NFTs attached to sats, is ready for testing!
13.4k sats
\
13 comments
\
@rodarmor
16 Dec 2022
bitcoin
Bitaxe: The First Open Source Hardware Bitcoin ASIC Miner
d-central.tech/bitaxe-the-first-open-source-hardware-bitcoin-asic-miner/
3428 sats
\
6 comments
\
@teoraroa
17 Sep 2023
bitcoin
zkTimechain: A payment system with strong privacy and scalability
gist.github.com/RobinLinus/d036511015caea5a28514259a1bab119
3215 sats
\
3 comments
\
@Rsync25
24 Apr 2023
bitcoin
Meet the MDK Hashboard
www.mining.build/meet-the-mdk-hashboard/
2418 sats
\
3 comments
\
@kr
17 Oct 2023
bitcoin
zkMesh: September 2023 recap of zk research
zkmesh.substack.com/p/zkmesh-sept-2023-recap
1499 sats
\
4 comments
\
@lightcoin_
3 Oct 2023
tech
Running DOOM inside zkVM with zero knowledge proofs
www.risczero.com/blog/when-the-doom-music-kicks-in
576 sats
\
1 comment
\
@nout
3 Mar
gaming
zkBitcoin: zero-knowledge proofs on Bitcoin!
github.com/sigma0-xyz/zkbitcoin
5470 sats
\
7 comments
\
@Kathleen_Croteau
28 Jan
bitcoin
BitVM 2: Permissionless Verification on Bitcoin
gist.github.com/RobinLinus/2251939ba074bd8af80a3826b1983246
2362 sats
\
1 comment
\
@Rsync25
25 Mar
bitdevs
Bottlerocket – Minimal, immutable Linux OS with verified boot
bottlerocket.dev
1216 sats
\
3 comments
\
@hn
23 Sep 2023
tech
SLP578 Bitaxe: The Open Source Bitcoin Miner with Skot
stephanlivera.com/episode/578/
555 sats
\
0 comments
\
@stephanlivera
24 May
bitcoin
Block: An update on our bitcoin mining ASIC program
www.mining.build/update-on-our-bitcoin-mining-asic-program/
816 sats
\
5 comments
\
@kr
28 Apr 2023
bitcoin
Prometheus: Scalable high-load computing & ML on top of Bitcoin, Orlovsky (2019)
github.com/Prometheus-WG/prometheus-spec/blob/master/prometheus.pdf
1012 sats
\
1 comment
\
@nout
1 Oct 2023
bitcoin
Stark Proof for BitVM Circuit Execution
github.com/neocarmack/STARK/blob/main/STARK%20proof%20for%20BitVM%20circuit%20execution.pdf
934 sats
\
0 comments
\
@Rsync25
15 Nov 2023
bitcoin
ZKP-Workshop: Explore the world of zero-knowledge proofs from first principles
github.com/uncomputable/zkp-workshop
142 sats
\
0 comments
\
@Rsync25
20 May 2023
bitcoin
Paper: Cairo – a Turing-complete STARK-friendly CPU architecture (2021)
eprint.iacr.org/2021/1063.pdf
136 sats
\
0 comments
\
@nout
5 Sep 2022
bitcoin
BitVMX Whitepaper Explained: A CPU for Universal Computation on Bitcoin
www.rootstocklabs.com/content-hub/bitvmx-whitepaper-explained/
337 sats
\
0 comments
\
@Rsync25
2 May
bitdevs
more