proof-of-solvency - Proof of Solvency (PoS) is a scheme designed to let users verify the solvency of online websites which accept Bitcoin (or other similar currency) deposits (e

  •        40

Proof of Solvency specification and Javascript implementation.Proof of Solvency (PoS) is a scheme designed to let users verify the solvency of online websites which accept Bitcoin (or other similar currency) deposits (e.g. exchange websites, online wallets, gambling websites, etc.) in a way that doesn't compromise the privacy of users.

https://github.com/olalonde/proof-of-solvency

Dependencies:

debug : ~0.7.4
commander : ~2.1.0
request : ~2.34.0
aproof : 0.0.7
lproof : 0.0.13
async : ~0.2.10
browser-request : ~0.3.1

Tags
Implementation
License
Platform

   




Related Projects

cuckoo - a memory-bound graph-theoretic proof-of-work system

  •    C++

Cuckoo Cycle is the first graph-theoretic proof-of-work, and the most memory bound, yet with instant verification. Unlike Hashcash, Cuckoo Cycle is immune from quantum speedup by Grover's search algorithm. With a 42-line complete specification, Cuckoo Cycle is less than half the size of either SHA256, Blake2b, or SHA3 (Keccak) as used in Bitcoin, Equihash and ethash. Simplicity matters.

StratisBitcoinFullNode - Bitcoin full node in C#

  •    CSharp

Stratis is an implementation of the Bitcoin protocol in C# on the .NET Core platform. The node can run on the Bitcoin and Stratis networks. Stratis Bitcoin is based on the NBitcoin project.For Proof of Stake support on the Stratis token the node is using NStratis which is a POS implementation of NBitcoin.

brainflayer - A proof-of-concept cracker for cryptocurrency brainwallets and other low entropy key alogrithms

  •    C

Brainflayer is a Proof-of-Concept brainwallet cracking tool that uses libsecp256k1 for pubkey generation. It was originally released as part of my DEFCON talk about cracking brainwallets (slides, video, why). The name is a reference to Mind Flayers, a race of monsters from the Dungeons & Dragons role-playing game. They eat brains, psionically enslave people and look like lovecraftian horrors.

coincoin - Blockchain based cryptocurrency proof-of-concept in Elixir. Feedback welcome

  •    Elixir

coincoin is a cryptocurrency proof-of-concept implemented in Elixir. It's an umbrella project that focuses on the 2 main components of (most of) the existing cryptocurrencies: the blockchain and digital transactions. It's goal is to be as simple as possible but complete enough to technically understand what's going on behind Bitcoin or Ethereum for example.

btcrelay - Ethereum contract for Bitcoin SPV: Live on https://etherscan

  •    Python

The address and ABI is all that's needed to use BTC Relay, in addition to the API documentation below.Verifies the presence of a transaction on the Bitcoin blockchain, primarily that the transaction is on Bitcoin's main chain and has at least 6 confirmations.


The GraPE Graphical Proof Editor

  •    Java

A tool for proof theorists to study deduction systems and to develop proof search strategies for them. GraPE should eventually support step-by-step proof construction, automatic proof search with various strategies, proof transformations and analysis.

hash-n-slash - Proof of concept for converting any content into a domain name.

  •    Javascript

Hash-n-Slash is a proof-of-concept Chrome extension that allows any text to be used as a domain name. By turning domain names into hashes, we allow for a greater flexibility of exactly what can be used to point to an online resource. This is just for fun! A proof of concept.

dogecoin - very currency

  •    C++

Dogecoin is a cryptocurrency like Bitcoin, although it does not use SHA256 as its proof of work (POW). Taking development cues from Tenebrix and Litecoin, Dogecoin currently employs a simplified variant of scrypt. Dogecoin is released under the terms of the MIT license. See COPYING for more information or see http://opensource.org/licenses/MIT.

coq - Coq is a formal proof management system

  •    OCaml

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. Download the pre-built packages of the latest release for Windows and MacOS; read the help page on how to install Coq with OPAM; or refer to the INSTALL file for the procedure to install from source.

zkproofs - Zero-Knowledge Proofs

  •    C

One fundamental concern in blockchain technology is the confidentiality of the data. In order to reach consensus between all independent nodes, each node must be able to validate all transactions (for instance against double-spend), in most cases this means that the content of the transactions is visible to all nodes. Fortunately, several solutions exist that preserve confidentiality on a blockchain (private transactions, HyperLedger Fabric Channels, Payment Channels, Homomorphic encryption, transaction-mixing, zero knowledge proofs etc.). The Zero Knowledge Range Proof requires a commitment on a number by a trusted party (for instance a government committing on someone's age), an Ethereum user can use this commitment to generate a range proof. The Ethereum network will verify this proof.

CodeHaacks - This is a collection of prototypes, samples, proof-of-concepts

  •    CSharp

CodeHaacks is a collection of prototypes, samples, proof-of-concepts. None of this is meant to be used in production code, but you can take any of the ideas you like and try them out in your own projects.

WebBackgrounder - Proof of concept of a web based background task manager that deals well with web farms/app shutdowns

  •    CSharp

WebBackgrounder is a proof-of-concept of a web-farm friendly background task manager meant to just work with a vanilla ASP.NET web application. This project has adopted the Microsoft Open Source Code of Conduct. For more information see the Code of Conduct FAQ or contact opencode@microsoft.com with any additional questions or comments.

mini-tor - proof-of-concept implementation of tor protocol using Microsoft CNG/CryptoAPI

  •    C++

mini-tor is a proof-of-concept utility for accessing internet content and hidden service content (.onion) via tor routers. this utility is aiming for as smallest size as possible (currently ~47kb, compressed with kkrunchy ~20kb), which is achieved by using Microsoft CryptoAPI/CNG instead of embedding OpenSSL. you can disable logging by commenting out #define MINI_LOG_ENABLED in mini/logger.h. this will also result in fairly reduced size of the executable.

Azure Business App Scale Proof of Concepts

  •    

This is actually a series of proof of concept demo applications built to demonstrate scale of particular architecture or application designs.

kernel-exploits - A bunch of proof-of-concept exploits for the Linux kernel

  •    C

A bunch of proof-of-concept exploits for the Linux kernel

hello-retail - “Hello, Retail!” is an open-source, mobile-first, 100% serverless functional proof-of-concept showcasing a complete event sourcing approach applied to the retail platform space

  •    Javascript

Hello, Retail! is a Nordstrom Technology open-source project. Hello, Retail! is a 100% serverless, event-driven framework and functional proof-of-concept showcasing a central unified log approach as applied to the retail problem space. All code and patterns are intended to be re-usable for scalable applications large and small. Check out https://github.com/Nordstrom/hello-retail-workshop for more explanation and a guided tour of how you might expand hello-retail with new functionality.

keychaindump - A proof-of-concept tool for reading OS X keychain passwords

  •    C

Keychaindump is a proof-of-concept tool for reading OS X keychain passwords as root. It hunts for unlocked keychain master keys located in the memory space of the securityd process, and uses them to decrypt keychain files. See the blog post for a much more readable description.

ysoserial - A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization

  •    Java

A proof-of-concept tool for generating payloads that exploit unsafe Java object deserialization. Originally released as part of AppSecCali 2015 Talk "Marshalling Pickles: how deserializing objects will ruin your day" with gadget chains for Apache Commons Collections (3.x and 4.x), Spring Beans/Core (4.x), and Groovy (2.3.x). Later updated to include additional gadget chains for JRE <= 1.7u21 and several other libraries.

tools - security and hacking tools, exploits, proof of concepts, shellcodes, scripts

  •    Assembly

This section offers a selection of our fully featured security and hacking tools. We also provide some exploits, proof of concept code, shellcodes and snippets. That means some tools are not tested and may not have the feature set. If you find some bugs or if you have any questions, ideas or criticism regarding to this section, feel free to message us.

big-rig - A proof-of-concept Performance Dashboard, CLI and Node module

  •    CSS

Big Rig is an experimental, proof-of-concept system for generating and parsing Chrome's trace files. It has a web app dashboard that will allow you to track performance statistics over time, as well as a CLI version for integrating with other parts of your build system. There is also a CLI / node module for Big Rig, which you can find in its own repo.





We have large collection of open source products. Follow the tags from Tag Cloud >>


Open source products are scattered around the web. Please provide information about the open source projects you own / you use. Add Projects.