Cryptographic Solvency Proofs (schemes, standards, links, edu material)
☆14Dec 2, 2022Updated 3 years ago
Alternatives and similar repositories for solvency-proofs
Users that are interested in solvency-proofs are comparing it to the libraries listed below
Sorting:
- Sui4j is a robust, reactive, type safe Java library for working with Smart Contracts on the @MystenLabs/sui network.☆30Jan 30, 2024Updated 2 years ago
- Homomorphic Encryption Randomness Beacon☆13Dec 3, 2019Updated 6 years ago
- Java 8 implementation of the Boneh-Franklin Identity-based Encryption.☆15May 13, 2019Updated 6 years ago
- A Gitcoin Grant research paper that audits the energy efficiency of NFT projects across chains that currently support NFT minting, based…☆19Oct 4, 2021Updated 4 years ago
- jPBC fork for get Maven works again☆17Feb 25, 2019Updated 7 years ago
- Metadata, ownership, and market standard for assets on Sui☆24Jan 9, 2024Updated 2 years ago
- A library providing mechanized proofs of the LibraBFT consensus using the Coq theorem prover☆26May 28, 2020Updated 5 years ago
- a sample implementation of a non-collateralized stablecoin on substrate☆29Jan 26, 2022Updated 4 years ago
- SCIM 2.0 JAVA development kit☆17May 2, 2025Updated 10 months ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- Fast, small, and fully autonomous AI assistant infrastructure for Android 🦀☆14Feb 27, 2026Updated last week
- ☆11Apr 28, 2023Updated 2 years ago
- C++ codebase for highly composable zkSNARKs with commit-and-prove capabilities.☆42Oct 8, 2020Updated 5 years ago
- Web content management system and built in eCommerce☆17Updated this week
- "Open-source toolkit (Python Library, Registry API, CLI) for secure, decentralized AI agent interoperability using A2A/MCP."☆14May 10, 2025Updated 9 months ago
- A CLI tool that allows you to run and test your Near Social Widgets locally using just your preferred code editor and your default browse…☆12Sep 8, 2023Updated 2 years ago
- Supporting evidence for security of the baby_jubjub curve to be used in altbn128, Ethereum☆41Aug 24, 2019Updated 6 years ago
- Auth0 FGA SDK for Go - Use https://github.com/openfga/go-sdk instead☆13Feb 23, 2024Updated 2 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- Research_speech_speaker_verification_nist_sre2010☆12Mar 1, 2016Updated 10 years ago
- ☆10Dec 24, 2025Updated 2 months ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- Sputnik DAO v2 utils☆10Jun 20, 2022Updated 3 years ago
- IJduino☆15Sep 5, 2016Updated 9 years ago
- ☆13Apr 17, 2025Updated 10 months ago
- Windows Notepad for Mac.☆10Jul 6, 2018Updated 7 years ago
- ☆11Apr 24, 2023Updated 2 years ago
- ThirdFi simplifies crypto investing with DeFi indices, with all-in-1 dashboard and API integration - “Stripe for DeFi”. Building DeFi inf…☆10Mar 3, 2023Updated 3 years ago
- Installing NFS on a Buffalo 220 NAS device☆10Nov 27, 2019Updated 6 years ago
- Secp256k1 blind signature certification authority boilerplate☆11Apr 23, 2024Updated last year
- Compact Proofs of Retrievability☆14May 28, 2014Updated 11 years ago
- The monorepo for Meson project☆11May 30, 2024Updated last year
- BIAN artefacts in Excel☆14Oct 6, 2021Updated 4 years ago
- ☆12Dec 10, 2025Updated 2 months ago
- An alternative to monads in do notation☆13Jan 27, 2021Updated 5 years ago
- Sui DeepBook Python SDK☆11Sep 23, 2025Updated 5 months ago
- message signing and verifying for Lightning Network☆11Jan 6, 2023Updated 3 years ago
- Small repo for implementing the 2018 EUROCRYPT paper "Simple Proofs of Sequential Work" by Cohen and Pietrzak. Also used as part of our C…☆10Aug 26, 2018Updated 7 years ago
- Computer Security Class - Department of Informatics and Telecommunications, University of Athens☆12Feb 22, 2017Updated 9 years ago