pull down to refresh

Formal Verification of the Safegcd Implementationblog.blockstream.com/formal-verification-of-the-safegcd-implementation/
19 sats \ 0 comments \ @Rsync25 16 Dec 2024 bitdevs
related
Russell O'Connor on formal verification and libsecp256k1brink.dev/blog/2025/08/07/eng-call-russell-oconnor-formal-verification/
2191 sats \ 1 comment \ @schmidty 7 Aug bitcoin
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
90 sats \ 0 comments \ @jakoyoh629 14 Mar lightning
Decoding #4: Sign, Verify: Schnorr Signatures in Action
697 sats \ 0 comments \ @bitcoin_devs 17 Dec 2024 bitcoin
ShieldedCSV: Private and Efficient Client-Side Validationgithub.com/ShieldedCSV/ShieldedCSV
2532 sats \ 2 comments \ @Rsync25 20 Sep 2024 bitdevs
NIP proposal: Trusted Assertions by vitorpamplonagithub.com/nostr-protocol/nips/pull/1534
43 sats \ 0 comments \ @Rsync25 11 Oct 2024 nostr
Perfectly Reproducible, Verified Go Toolchains - The Go Programming Languagego.dev/blog/rebuild
13 sats \ 0 comments \ @nout 11 Nov 2023 tech
Grant Application: Formal Verification of Bitcoin and Bitcoin Coredocs.google.com/forms/d/e/1FAIpQLSdjpUXkiTvTrldhS7bgdcZbenlOXimuVvz6MC23t2XS2C2ayQ/viewform
293 sats \ 1 comment \ @Scoresby 30 Jun bitcoin
Sonic: Toolchain for formally-verifiable distributed contractsgithub.com/AluVM/sonic
51 sats \ 0 comments \ @Rsync25 20 Dec 2024 bitdevs
What Rust Got Wrong on Formal Verificationgavinhoward.com/2024/05/what-rust-got-wrong-on-formal-verification/
133 sats \ 0 comments \ @brandonsbytes 23 May 2024 devs
Clementine: Citrea's BitVM Based Trust-Minimized Two-Way Peg Programgithub.com/chainwayxyz/clementine
108 sats \ 0 comments \ @Rsync25 21 Mar 2024 bitdevs
RISC Zero: ZK verifiable general computing platform based on zk-STARKs + RISC-Vgithub.com/risc0/risc0
126 sats \ 0 comments \ @nout 4 Sep 2022 bitcoin
Retrofitting spatial safety to hundreds of millions of lines of C++security.googleblog.com/2024/11/retrofitting-spatial-safety-to-hundreds.html
21 sats \ 0 comments \ @ch0k1 16 Nov 2024 devs
NIP-XX: Improved event signing scheme by sant0s12github.com/nostr-protocol/nips/pull/1258
31 sats \ 0 comments \ @Rsync25 26 May 2024 nostr
Clementine: BitVM Based Trust-Minimized Two-Way Peg Programx.com/citrea_xyz/status/1770813889447432493
89 sats \ 1 comment \ @0x_orkun 21 Mar 2024 bitcoin
Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspegithub.com/cryspen/bertie
20 sats \ 1 comment \ @hn 23 Mar 2024 tech
Glock: A new standard for verification on Bitcoin - Alpen Labswww.alpenlabs.io/blog/glock-verification-on-bitcoin
147 sats \ 0 comments \ @Scoresby 15 Jul bitcoin
Stratum v2 SRI v1.1.0: Improved Protocol Crates Documentation, Testing Abilitieswww.nobsbitcoin.com/stratum-v2-sri-v1-1-0/
10 sats \ 0 comments \ @BitcoinIsTheFuture 18 Oct 2024 bitcoin
Exciting times at the intersection of Compilers and Applied Cryptographywww.notamonadtutorial.com/cairo-and-mlir/
30 sats \ 0 comments \ @cinthia_ledesma 4 May 2023 bitcoin
Verifiable transactions for ecash based protocolsgist.github.com/Semisol/d11c075cb45151e75690d8642d2475ab
356 sats \ 0 comments \ @Rsync25 2 Dec 2023 bitcoin
Some notes on Rust, mutable aliasing and formal verificationgraydon2.dreamwidth.org/312681.html
31 sats \ 0 comments \ @hn 16 May 2024 tech
BitVM 2: Permissionless Verification on Bitcoin [Draft writeup]bitvm.org/bitvm2
6308 sats \ 5 comments \ @lightcoin 25 Mar 2024 bitcoin