Giter VIP home page Giter VIP logo

semiott / veritynet Goto Github PK

View Code? Open in Web Editor NEW
2.0 3.0 0.0 33.12 MB

Most Valuable Project Winner at ETH Planet 2020 Hackathon. Probabilistic Proofs and Coherent Cryptoeconomics for Decentralised Finance Fairness Architectures

Home Page: https://devfolio.co/submissions/cellarnet

License: GNU Affero General Public License v3.0

JavaScript 9.85% Dockerfile 0.02% TypeScript 29.97% Solidity 58.20% Makefile 0.11% Nix 0.01% Shell 0.29% WebAssembly 1.55%
zero-knowledge-proofs financial-fairness-algorithms aave-protocol-governance fairness-verifiers randao aave-tokens chainlink chainlink-adapter circom snarkjs linkpool fairness-algorithms governance-protocols voting-verifiers starkware-veedo-vdf aave tellor-oracles tinlake-tokens compound probabilistic-proofs

veritynet's Introduction

VerityNet

Semiott Protocol is created with the concept of building succinct symbols for social symbiosis. VerityNet is the implementation of Semitt Protocol Principles on Ethereum Decentralised Finance Platforms such as AAVE, Compound, Teller, StarkEx, The Graph, etc. One of the key principles of Semiott Protocol is Fairness Algorithms. Without Fairness Algorithms and Architectures, we cannot fulfill the daring and dynamic dream of decentralized finance across the wider cross-sections of the economy and society. Unfair algorithms are ruling the roost in the world of mainstream finance, in the formal and informal economy. Unfair algorithms are defining the logic and limits of finance products, services, and the fintech ecosystem. Hence fairness algorithms can play a crucial role in the creation of a radical market. I am applying probabilistic proofs created using zkSNARKs built from Circom Compiler, and SnarkJS Gadgets to bring privacy, secrecy, verifiability, and veracity into the financial algorithms.

Hence when we create applications for loans using DeFi protocols such as AAVE and Compound these fairness algorithms powered privacy proofs can ensure that there are no favoritism, partialities, asymmetries, and unfair decisions in issuing loans, tokens, assets, and derivatives. In VerityNet, you can see the integration of quadratic voting verifiers generated using Circom, SnarkJS, and MACI to make the governance of AAVE and Compound fair, formidable and fierce. A StarkWare Veedo VDF Beacon Contract powered RANDAO is introduced to the Governance protocols of AAVE and Compound. Likewise, the Circom Circuit generated Data Dispute Verifier contract is added to the Optimistic Rollup-based Tellor Oracle implementation. This to enable Verifiable Data Dispute Correction Capabilites in Tellor Oracles.

VerityNet also implements a TokenSwap between Tinlake Tokens and AAVE to demonstrate the roadmap towards a robust lending marketplace. VerityNet integrates Tinlake Tokens into StarkEx with focus on a scalable tokenmics. Quadratic Voting Verifiers are deployed on the Graph framework. The Gas Station Network are used across all these composable building blocks of VerityNet. Financial Fairness Algorithms and Architectures built on AAVE Tokens with Centrifuge Tinlake Framework based ERC 20 and ERC 721 based Privacy Preserving Non Fungible Token Swap and AAVE Protocol Governance using a Dynamic RANDAO Powered by StarkWare Veedo VDFs integrated with Consensus Oracles built on Chainlink External Adaptors and Linkpool Bridge.

Components

  • Iden3 Circom Circuit based Financial Fairness Proofs
  • SnarkJS based Fairness zk SNARK Verifiers
  • Fairness Verifiers on Layer 2 Simple ZK Rollups
  • Fairness Verifiers on Layer 2 Optimistic Rollups
  • Tinlake ERC20 and ERC721 TokenSwap with AAVE Tokens
  • RANDAO Secured using StarkWare Veedo VDF
  • AAVE Protocol Governance using VDF Powered RANDAO
  • Compound Protocol Governance using VDF Powered RANDAO
  • Tellor Dispute Oracle Verifiers Data Dispute Proofs
  • Chainlink Market Adapter Validation using Staking Validators
  • Quadratic Voting and Voting Verifiers on Graph protocol
  • Tinklake Token integration with StarkEx

Value Proposition

People can use VerityNet to verify if the Loans are tokenized based on valid proofs and they can verify the Loan Token Swap. They can also use VerityNet to swap between NFT collateral backed loans and fungible collateral backed loans in a seamless manner. The following are the innovative components of VerityNet.

veritynet's People

Contributors

gokulsan avatar

Stargazers

 avatar  avatar

Watchers

 avatar  avatar  avatar

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.