







A verification and storage solution for blockchains
Filecoin | World's Largest Decentralized Storage Network for Humanity's Data
Preserve humanity's most important information on Filecoin, the decentralized storage network with verifiable integrity, global redundancy, and no centralized control. Build apps, store data securely, or become a storage provider today.

Decentralized Identity Verification using Zero-Knowledge Proofs: A Privacy-Preserving Authentication Framework
In the contemporary online interaction, digital iden- tity is central, but most systems follow a centralized provider like Google or Facebook. Although convenient, these models pose ma- jor risks to data breach, surveillance, and single point of failure. The proposed paper proposes a privacy-sensitive decentralized identity verification system that uses Zero-Knowledge Proofs (ZKPs) to allow users to make it through claims (e.g., age, citizen- ship, or enrollment) without any personal data being provided, thereby solving the challenges outlined in the paper. Our architecture integrates verifiable credentials, zero-knowledge-SNARKs and an issuer trust registry that is maintained on blockchain smart contracts to guarantee trustless verification and eliminate dependence on centralized authorities. Its system gives its users full control over credentials, allows reuse across applications, and does not expose data.A proof-of-concept implementation has shown the approach to be feasible with Circom and SnarkJS to generate proof, Solidity smart contracts to verify them, and a user interface implemented in React. Results of the evaluations showed that determination of the verification latency is low, the overhead to generate proofs is moderate, and no privacy leakage occurs. It can be used in potential applications such as education, e-governance, healthcare, finance, and online voting.
Tutorial: Introduction to Formal Verification with Lean (Part 1) - HashCloak
A tutorial Formal Verification using Lean for cryptographic engineers. Implement and prove correctness of the One-Time pad following a cryptography book.
Holochain: Reinventing Applications
Holochain is a framework for writing fully distributed peer-to-peer applications. It is not based on blockchain technology. Nor is…

attested.network — Proof of Payment for ATProtocol
An open specification for decentralized, cryptographically verifiable proof of payments.
Money, blockchains, and social scalability
Introduction Blockchains are all the rage. The oldest and biggest blockchain of them all is Bitcoin , which over its eight-year hist...

Money, blockchains, and social scalability
Introduction Blockchains are all the rage. The oldest and biggest blockchain of them all is Bitcoin , which over its eight-year hist...

Encrypted Spaces — Research preview
An architecture for collaborative applications where data is encrypted and operations are cryptographically verifiable.

Hippius – Decentralized Cloud Storage
Decentralized and transparent storage. Cloud solutions. Storage, virtual machines, apps backed by a blockchain for unmatched transparency and trust.

Blockchain Governance: Programming Our Future
This post describes why blockchain governance design is one of the most important problems out there, its critical components, current…

Fil One Object Storage
S3-compatible object storage on Filecoin with no egress fees and verifiable data integrity, proven daily.

Home
Filecoin is a distributed storage network based on a blockchain mechanism. Filecoin miners can elect to provide storage capacity for the network, and thereby earn units of the Filecoin cryptocurrency (FIL) by periodically producing cryptographic proofs that certify that they are providing the capacity specified. In addition, Filecoin enables parties to exchange FIL currency through transactions recorded in a shared ledger on the Filecoin blockchain. Rather than using Nakamoto-style proof of work to maintain consensus on the chain, however, Filecoin uses proof of storage itself: a miner’s power in the consensus protocol is proportional to the amount of storage it provides.
Stellar | Making Blockchain Technology Real: Why We're Giving Away Lumens
This giveaway design will test Stellar.org’s hypothesis: there are people in the bitcoin community who will realize the potential of distributed ledgers.

Trust Revolution
Unfiltered conversations with builders, thinkers, and operators in Bitcoin and beyond. Exploring systems we trust, why they work (or don't), and what's next.
