You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long. 1.2KB

Non-Interactive Proofs of Proof-of-Work On the Danger of Private Blockchains Decentralized Execution of Smart Contracts: Agent Model Perspective and Its Implications How to Prove Yourself: Practical Solutions to Identification and Signature Problems New (and Old) Proof Systems for Lattice Problems Scalable, transparent, and post-quantum secure computational integrity Bitcoin as a Transaction Ledger: A Composable Treatment An Efficient NIZK Scheme for Privacy-Preserving Transactions over Account-Model Blockchain Doubly-efficient zkSNARKs without trusted setup Designing Proof of Transaction Puzzles for Cryptocurrency A Simpler Variant of Universally Composable Security for Standard Multiparty Computation On Probabilistic Space-Bounded Machines with Multiple Access to Random Tape The Knowledge Complexity of Interactive Proof Systems Time Bounded Random Access Machines Solidus: Confidential Distributed Ledger Transactions via PVORM FruitChains: A Fair Blockchain BitML: a calculus for Bitcoin smart contracts PHANTOM: A Scalable BlockDAG protocol Algorand: Scaling Byzantine Agreements for Cryptocurrencies A Framework for the Sound Specification of Cryptographic Tasks