mlabs-haskell/MinAuth

Stars
4
Rank 3,304,323 (Top 66 %)
Language
TypeScript
License
Apache License 2.0
Created about 1 year ago
Updated 7 months ago

mlabs-haskell/MinAuth

mlabs-haskell

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

MinaAuth is a library and accompanying set of Typescript packages making it easy to set up authentication/authorization based on zero-knowledge proof verification. The current functionality is focused on authorizing an HTTP API access with JWT tokens granted on providing valid zero-knowledge proofs.

awesome-plutus

plutip

A Cardano tool to spin up a testnet and run contracts with an EDSL to describe the instructions. Rhymes with tulip for no particular reason.

plutus-simple-model

Unit testing with resource estimation for Plutus

lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages

cardano-open-oracle-protocol

COOP - Cardano open oracle protocol

bot-plutus-interface

Unofficial PAB implementation

plutus-pioneer-program

ply

A helper library for working with compiled, parameterized Plutus Scripts

styleguide

apropos

Propositional Logic Apropos Types

singularitynet

Bonded and unbonded stake pool for SingularityNET

seath

apropos-tx

Better testing for Plutus

cardano-dev-wallet

A browser-based Cardano wallet for developers & testers

the-plutus-scaffold

Up-to-data version of plutus-scaffold. It's a fuller example utilizing ctl, see the overview in README. This project contains the build systems and scripts needed to scaffold a plutus project quickly.

mlabs-tooling.nix

A flake that provides everything necessary to set up a project within our sopes. This includes the necessary maintenance as well as CI.

hydra-demo

purus

A work-in-progress PureScript to Plutus Core compiler

clb

Cardano Ledger Backend (next-gen PSM)

hydra-auction

An auction system running on Hydra L2 solution

purescript-cardano-types

Domain types for Cardano

ogmios-datum-cache

proto.nix

Nix utilities for generating language-specific bindings from Google Protocol Buffers .proto files.

purescript-aeson

Json (de/en)coders library that works with arbitrary-length numeric types (compatible with Aeson)

seabug

Combined components for Seabug deployment

plutarch-ctl-bridge

CTL bridge done right

majority-multisign

lambda-buffers-for-cardano

LambdaBuffers Cardano Demo

ytxp-lib

GHAppy

A utility to pull issues and create Audit Reports.

catalyst-funded-projects

One-stop repo for progress reports and information on our projects funded through Project Catalyst

plutus-specification-language

cardano-serialization-lib-gc

cardano-serialization-lib with custom garbage collector for WASM

flake-lang.nix

Nix tools powering polyglot repositories

plutus-security

cardano-data-lite

Lightweight implementation of Cardano domain type serialization, compatible with cardano-serialization-lib

plutus-partial-tx

Effortless BPI + Lucid production PAB that reuses Haskell Contracts

ctl-scaffold

seabug-contracts

godot-cardano

Integrated light wallet and off-chain SDK for the Godot engine and Cardano blockchain

tx-village

Opinionated Rust/Haskell ecosystem of libraries and tools to work with Cardano smart contracts

gov

cardanow

haskell-nix-extra-hackage

CardStarter-bulk-airdrop-script

nft-marketplace-server

embedano

purescript-cardano-transaction-builder

Declarative transaction builder API for cardano-transaction-lib

hydra-auction-frontend

snarky-purescript

Groundwork for embedding SnarkyJS into PureScript

purescript-cip95

Low-level PureScript interface for CIP-95

kupo-nixos

NixOS module for Kupo

opc-xml-da-client

OPC XML-DA Client for Haskell

simple-haskell-nix

Simple & lightweight nix utilities for haskell.nix

uplc-benchmark

TuxedoDapp

Cryptokitties on Polkadot using UTXO

nft-marketplace

hydra-auction-onchain

hydra-auction-offchain

congested-testnet

cem-script

https://cardano.ideascale.com/c/idea/106740

cardano.nix

Nix ❤️ Cardano

seabug-onchain

Seabug onchain contracts taken from plutus-use-cases

radix-simple-vote

Simple voting contract and frontend for Radix

plutus-inbox-nfts

wallet-auth

ytxp-app

purescript-cardano-plutus-data-schema

Type-level schemas that let one define PlutusData encodings for PureScript algebraic data types

hedgehog-plutus-simple

ytxp-sdk

ogmios-nixos

NixOS module for Ogmios

spo-anywhere

religant-integration-example

A simple dApp that fetches current price data from the Religant Oracle and writes it to the metadata field of a token (for testing, mainly)

plutus-v2-contracts

Testing ECDSA secp256k1 and Schnorr signature validators

plutus-secp256k1-interop

SECP256k1 signature scheme glue to interoperate with Plutus on-chain primitives

purescript-cardano-hd-wallet

PureScript impl of CIP-1852 (Hierarchical Determistic Wallets for Cardano) - using cardano-serialization-lib

plutus-integer-bytestring

PoC implementation of Integer <-> ByteString conversions for Plutus

fake-plutus-core

push-cache-effect

Demo showing how to use HerculesCi effect to push to an external cache.

devblog-1

Code for first dev blog article

plutus-conformance

cip-0116-tests

purescript-cardano-message-signing

A PureScript adapter for @mlabs-haskell/cardano-message-signing

purescript-bytearrays

ByteArray utilities

spec

Design of Specifications