Technical groups
About
Data Engineering
Frontend Architecture & Infrastructure
Generative AI
High Assurance Software
Nix
Programming Languages and Compilers
Quality Engineering Test Automation
Scalable Builds
Open source
Careers
Research
Blog
Contact
Consulting services
Technical groups
About
Data Engineering
Frontend Architecture & Infrastructure
Generative AI
High Assurance Software
Nix
Programming Languages and Compilers
Quality Engineering Test Automation
Scalable Builds
Open source
Careers
Research
Blog
Contact
Consulting services
Blog: trustix (3 posts)
all
animation
announcement
asterius
auditing
azure
bazel
best-practices
blockchain
buck2
build-systems
c
c++
capability
cargo
cloud
cmake
contract-testing
cybersecurity
data-engineering
data-science
delta-lake
dependency-management
devops
domain-driven-design
fawltydeps
fellowship
formal-methods
formatting
frontend
generative-ai
ghc
golang
halide-haskell
haskell
high-assurance
icfp
inline-java
integration-testing
internship
jobs
jupyenv
jupyter
linear-types
liquidhaskell
llm
llm-evaluation
machine-learning
MCMC
monorepo
nickel
nix
ocaml
optics
packaging
processes
profiling
programming-languages
python
rag
ray
react
react-native
reanimated
regulation
reproducibility
retrieval
rust
sbom
servant
skia
smart-contracts
software-quality
state-machine
statistics
terraform
tools
topiary
training
trustix
tutorial
type-level programming
typescript
ux
webassembly
3 February 2022
Trustix - Consensus and voting
We discuss existing consensus models and why no global consensus mode is well suited to Trustix, opting for a user-defined algorithm instead.
nix
trustix
14 January 2022
Trustix trees
In this post we introduce Merkle trees, the data structures needed to make the Trustix log append-only and searchable.
nix
trustix
16 December 2020
Announcing Trustix
Trustix aims at enhancing trust in software binaries and improve reproducibility tracking using distributed binary caches.
nix
trustix
Company
About
Open Source
Careers
Contact Us
What we do
Strategy
Product Development
Platform Modernization
Digital Operations
Work
Insights
Modus Blog
Ospo Blog
Research
Innovation podcast
Connect with us
© 2024 Modus Create, LLC
Privacy Policy
Sitemap