Tezos Agora released open source code for private payment channels! Anonymous payments might be coming to Tezos.

• dialectic

  1 60 0.0 Rust

  Transport-polymorphic, asynchronous session types for Rust

  

zeekoe node. A Rust-based node that integrates the zkChannels library and provides channel management functionality, a secure networking layer for asynchronous communication between the customer and merchant, and a database for managing the channel state and merchant revocation information. To enforce correct protocol execution within zeekoe, we built a session type library in Rust called Dialectic 1, which may be of independent interest to any developers implementing networked protocols. Specifically, the crate provides a generic wrapper around any type of asynchronous channel that adds compile-time guarantees that a specified session protocol will not be violated by any code using the channel. Dialectic is ideal for building networked services that need to ensure high levels of availability and complex protocol correctness properties.

• zkchannels-spec

  1 2 1.8

  Specifications of the blockchain interaction for zkchannels

  

We also include the protocol specification for the on-chain 1 and off-chain aspects of the zkChannels protocol instantiation on Tezos.

• InfluxDB

  www.influxdata.com featured

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

Suggest a related project