dialectic
Transport-polymorphic, asynchronous session types for Rust (by boltlabs-inc)
zkchannels-spec
Specifications of the blockchain interaction for zkchannels (by boltlabs-inc)
dialectic | zkchannels-spec | |
---|---|---|
1 | 1 | |
60 | 2 | |
- | - | |
0.0 | 1.8 | |
over 1 year ago | over 2 years ago | |
Rust | ||
MIT License | MIT License |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
dialectic
Posts with mentions or reviews of dialectic.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-10-07.
-
Tezos Agora released open source code for private payment channels! Anonymous payments might be coming to Tezos.
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
Posts with mentions or reviews of zkchannels-spec.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-10-07.
-
Tezos Agora released open source code for private payment channels! Anonymous payments might be coming to Tezos.
We also include the protocol specification for the on-chain 1 and off-chain aspects of the zkChannels protocol instantiation on Tezos.
What are some alternatives?
When comparing dialectic and zkchannels-spec you can also consider the following projects:
typical - Data interchange with algebraic data types.
async-std - Async version of the Rust standard library
rauth - A simple SSO implementation in Rust
firefly - A "blazingly" fast key-value pair database without bloat written in rust
MIO - Metal I/O library for Rust.