ΛProof is a pattern for local zk-SNARK proof generation and on-chain verification, designed for MTPI / Web4 systems.
TypeScript
0
0
Other
Lambda-Proof is a zk-SNARK proof generation and verification system designed for MTPI/Web4 decentralized applications, enabling walletless and passwordless access through local proof generation and on-chain verification. It provides a prime-lawful, quantum-resistant framework for identity verification and state transitions using zero-knowledge proofs, with a focus on privacy, local-first verification, and conscious sovereignty enforcement.
Total donated
Undistributed
Share with your subscribers:
Recipients
How the donated funds are distributed
Support the dependencies of multiplicityfoundation/lambda-proof
Format validation for Ajv v7+
Circom runtime
Basic circuits library for Circom
Javascript library to work with circomlib
Class Variance Authority 🧬
Loads environment variables from .env file
A complete and compact Ethereum library, for dapps, wallets and any other tools.
Fast and low overhead web framework, for Node.js
A simple and powerful JavaScript animation library
fs-extra contains methods that aren't included in the vanilla Node.js fs package. Such as recursive mkdir, copy, and remove.
the most correct and second fastest glob implementation in JavaScript
HTTP proxying for the masses
A robust, performance-focused and full-featured Redis client for Node.js.
A Lucide icon library package for React applications.
React is a JavaScript library for building user interfaces.
React package for working with the DOM.
Merge Tailwind CSS classes without style conflicts
TypeScript Interface for Ethereum
Hardhat utils for testing
Hardhat plugin for ethers
The Ethers extension to Hardhat Ignition. Hardhat Ignition is a declarative system for deploying smart contracts on Ethereum. It enables you to define smart contract instances you want to deploy, and any operation you want to run on them. By taking over the deployment and execution, Hardhat Ignition lets you focus on your project instead of getting caught up in the deployment details.
Hardhat Network Helpers is a plugin that provides a set of utility functions to interact with locally simulated networks.
Nomic Foundation's recommended bundle of Hardhat plugins
Hardhat plugin for verifying contracts
Secure Smart Contract library for Solidity
🔌 TypeChain target for ethers-v6
Zero-config TypeChain support for Hardhat
TypeScript definitions for chai
TypeScript definitions for mocha
TypeScript definitions for node
TypeScript definitions for react
TypeScript definitions for react-dom
TypeScript definitions for snarkjs
TypeScript plugin for ESLint
An ESLint custom parser which leverages TypeScript ESTree
BDD/TDD assertion library for node.js and the browser. Test framework agnostic.
Tools for testing circom circuits.
Run scripts that set and use environment variables across platforms
An extremely fast JavaScript and CSS bundler and minifier.
Hardhat is an extensible developer tool that helps smart contract developers increase productivity by reliably bringing together the tools they want.
Gas Analytics plugin for Hardhat
simple, flexible, fun test framework
Support the repos that depend on this repository
Top contributors
depricated33567
1047 contributions
Copilot
462 contributions
PhaseMirror
90 contributions
![dependabot[bot]'s profile](https://avatars.githubusercontent.com/dependabot[bot])
dependabot[bot]
75 contributions
RRussell11
3 contributions
Recent events
Kivach works on the Obyte network, and therefore you can track all donations.
No events yet