pull down to refresh

Sonic: Toolchain for formally-verifiable distributed contractsgithub.com/AluVM/sonic
66 sats \ 0 comments \ @Rsync25 20 Dec 2024 bitdevs
related
BitVM: A Tool for Smarter Smart Contracts - Super Testnet - Satsconf 2023www.youtube.com/watch?v=iEM_txmJYxA
4563 sats \ 8 comments \ @supertestnet 13 Feb 2024 bitcoin
Introducing our Provably Fair Roulette—transparent, secure, verifiableprimal.net/p/npub1mxljwnwnc9ws8x6ec5sssh65yyrc4lffws3yyz9uh0rn40dmsrsqelvj7z
51.3k sats \ 0 comments \ @roulette 30 Dec 2024 gaming
A Formally Verified Lightning Networkarxiv.org/html/2503.07200v1
146 sats \ 0 comments \ @jakoyoh629 14 Mar 2025 lightning
Claude AI plugins can now vibe code smart contractsprotos.com/claude-ai-plugins-can-now-vibe-code-smart-contracts/
330 sats \ 4 comments \ @0xbitcoiner 16 Jan AI
RGB yellowpaper: the formal specification of Bitcoin & Lightning smart contractsgithub.com/RGB-WG/yellowpaper/blob/master/rgb-yellowpaper.pdf
141.7k sats \ 31 comments \ @dr_orlovsky 31 Jul 2025 rgb
Fully private L2+smart contracts on top of BTC based on Multi-party computing
1827 sats \ 14 comments \ @snow88488 3 Jan devs
Friendly reminder: LN invoices are signed & verifiable statements from your nodehelp.bottlepay.com/en/articles/5303125-why-and-how-do-i-verify-my-node
912 sats \ 5 comments \ @NA 27 Jan 2022 bitcoin
LLVM/Clang Can Work Fine As A GCC Replacement For Linux Distributionswww.phoronix.com/news/LLVM-Clang-Chimera-Linux-2024
237 sats \ 0 comments \ @ch0k1 6 Feb 2024 opensource
Verifiable transactions for ecash based protocolsgist.github.com/Semisol/d11c075cb45151e75690d8642d2475ab
366 sats \ 0 comments \ @Rsync25 2 Dec 2023 bitcoin
LnTap: toolchain for integrated Lightning Network with Taproot Assetsgithub.com/uxuycom/lntap
173 sats \ 0 comments \ @Rsync25 30 Oct 2023 bitcoin
Smart Contracts? Thoughts from an IP and Contract Attorneywww.stephankinsella.com/2022/02/libertarian-answer-man-smart-contracts/
1315 sats \ 3 comments \ @kepford 19 Apr 2024 bitcoin
OpenTimestamps: Scalable, Trust-Minimized, Distributed Timestamping with Bitcoinpetertodd.org/2016/opentimestamps-announcement
11.6k sats \ 25 comments \ @petertodd 14 Oct 2022 bitcoin freebie
Tornado Cash Fifth Circuit Full Decision
4097 sats \ 30 comments \ @siggy47 28 Nov 2024 Politics_And_Law
Distributed Charge - GRIDandyschroder.com/DistributedCharge/GRID/Overview/
18.2k sats \ 9 comments \ @andy 24 Sep 2022 bitcoin
Nix is the ultimate DevOps toolkitwww.channable.com/tech/nix-is-the-ultimate-devops-toolkit
952 sats \ 0 comments \ @bataroot 6 Jan 2024 NixOS
BitVM Workshop: Smart Contracts With Rich State by Super Testnetwww.youtube.com/watch?v=LwH9fhY4uGA
2067 sats \ 0 comments \ @supertestnet 3 Mar 2024 bitcoin
Citrea: proofs inscribed in Bitcoin and optimistically verified via BitVMdocs.citrea.xyz/
1773 sats \ 3 comments \ @02b7622c79 14 Apr 2024 bitcoin
Releasing RGB: Smart contracts for Bitcoin and Lightning Network (Slides)github.com/LNP-BP/presentations/raw/master/Presentation%20slides/RGB%20v0.8%20release%20pt%201.pdf
1331 sats \ 16 comments \ @nout 13 Jul 2022 bitcoin
X-59 - single-seat X-plane aiming to reduce the sound of the sonic boomen.wikipedia.org/wiki/Lockheed_Martin_X-59_Quesst
173 sats \ 3 comments \ @kristapsk 13 Jan 2024 tech
On Cryptographic Contractscitadelium.com/on-cryptographic-contracts/
413 sats \ 0 comments \ @DarthCoin 1 Sep 2022 bitcoin
TBD Launches Tech Preview of Web5 Verifiable Credentials Toolkitwww.tbd.website/blog/web5-verifiable-credentials-toolkit
1573 sats \ 1 comment \ @axzwk 3 Jun 2023 bitcoin