Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/strict-types/strict-types
Rust implementation of strict encoding schema library
https://github.com/strict-types/strict-types
aluvm client-side-validation encoding rgb rust seerialization serialization smart-contracts strict-encoding
Last synced: about 1 month ago
JSON representation
Rust implementation of strict encoding schema library
- Host: GitHub
- URL: https://github.com/strict-types/strict-types
- Owner: strict-types
- License: apache-2.0
- Created: 2022-06-10T10:03:38.000Z (over 2 years ago)
- Default Branch: master
- Last Pushed: 2024-11-23T14:30:13.000Z (about 2 months ago)
- Last Synced: 2024-11-23T15:27:50.381Z (about 2 months ago)
- Topics: aluvm, client-side-validation, encoding, rgb, rust, seerialization, serialization, smart-contracts, strict-encoding
- Language: Rust
- Size: 1.45 MB
- Stars: 6
- Watchers: 2
- Forks: 5
- Open Issues: 9
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- Contributing: CONTRIBUTING.md
- Funding: .github/FUNDING.yml
- License: LICENSE
- Code of conduct: CODE_OF_CONDUCT.md
- Security: SECURITY.md
Awesome Lists containing this project
- awesome-rgb-protocol - Strict Type
README
# Strict types AST and typelib implementation
[](https://codecov.io/gh/strict-types/strict-types)
[](https://crates.io/crates/strict_types)
[](https://docs.rs/strict_types)
[](https://github.com/rust-secure-code/safety-dance/)
[](./LICENSE)
#### Protobufs for functional programming
This is a set of libraries for working with abstract syntax trees and libraries
of [strict types] – type system made with category theory which ensures
provable properties and bounds for the in-memory and serialized type
representation.
Strict types is a formal notation for defining and serializing
[generalized algebraic data types (GADT)][gadt] in a deterministic
and confined way. It is developed with [type theory] in mind.
Strict Types are:
* __schema-based__ (with the schema being strict encoding notation),
* __semantic__, i.e. defines types not just as they are layed out in memory,
but also depending on their meaning,
* __deterministic__, i.e. produces the same result for a given type,
* __portabile__, i.e. can run on ahy hardware architecture and OS, including
low-performant embedded systems,
* __confined__, i.e. provides guarantees and static analysis on a maximum size
of the typed data,
* __formally verifiabile__.
To learn more about strict encoding [read the spec](https://strict-types.org).
Strict types works with type definitions. It allows:
- static analysis of data types, like
* defining semantic type ids;
* specifying exact memory layout;
* type equivalence in terms of semantics and memory layout;
* size of serialized data
- composing types into type libraries;
- versioning type libraries basing on the semantic types;
The library allows to generate & compile strict type libraries (STL) from rust
types implementing `StrictEncoding` trait -- and ensures that the
deserialization with `StrictDecode` follows the same memory and semantic layout.
## Strict Types Library
The library is able to reflect on itself, producing replica of its rust data
types in strict types system.
Strict types library id:
`stl:9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ#lagoon-rodent-option`
Import this lib by putting in the file header
`import lagoon_rodent_option_9KALDYR8Nyjq4FdMW6kYoL7vdkWnqPqNuFnmE9qHpNjZ as StrictTypes`
Source code can be found in [`stl/StrictTypes.sty`] file.
## Contributing
[CONTRIBUTING.md](../CONTRIBUTING.md)
## License
The libraries are distributed on the terms of [Apache 2.0 license](LICENSE).
[strict types]: https://strict-types.org
[gadt]: https://en.wikipedia.org/wiki/Algebraic_data_type
[type theory]: https://en.wikipedia.org/wiki/Type_theory