PVS specification proof-left
general
Sahha React Native SDK
navigation server for editor 4.0
A formal methods toolkit for model-based development of human-machine interfaces
SPL Account Compression Program JS API
Sahha Capacitor SDK
Swell's command line interface/utility
A powerful React Native library for integrating AI-powered voice agents into mobile applications. Features real-time voice communication, intelligent speech processing, customizable UI components, and comprehensive event handling for building conversation
Trustless Ethereum Multichain CCIP-Read Gateway
1. Major - Breaking changes (incompatible schemas) 2. Minor - new blocks, new templates 3. Patch - block iteration
bitcoin SPV proofs in Solidity
Stencil Component Starter
Implementation of the modified merkle patricia tree as specified in Ethereum's yellow paper.
bitcoin SPV proofs in Solidity
Energyweb Origin project's proof-of-concept Precise Proofs implementation and demo.
CLI from Prevent Senior Tech
Publicly-verifiable proofs of identity
JS Wrappers for Various ZK Snark Circuits
This submodule manages permissions and capabilities related to accessing specific resources on the blockchain. It utilizes features from the 'siwe' and 'siwe-recap' libraries to verify and handle data, allowing users to encode and decode session capabilit
Unified WASM bindings for Aptos confidential assets (discrete log + range proofs)
A Javascript library for generating and performing common operations on Linked Data cryptographic key pairs.
No description provided.
Typescript SDK for the USC (Universal Smart Contracts) ecosystem on the Gluwa Creditcoin Network