81 Open source projects that are alternatives of or similar to smt

The scalable, auditable and high-performance tamper-evident log project

This plugin allows you to configure email notifications for build results

Merkle Trees and Merkle Inclusion Proofs

Tools for creating Merkle trees, generating merkle proofs, and verification of merkle proofs.

Merkleized IAVL+ Tree implementation in Go

An optimized sparse merkle tree.

Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs

Signature scheme submitted to NIST's Post-Quantum Cryptography Project

Quantum Resistant Ledger

Tierion Hash API client library for Node.js

Project is in active development and has been moved to the EthereumJS VM monorepo.

🌱 Construct Merkle Trees and verify proofs in JavaScript.

Transpiler of Python to many other languages

immudb - world’s fastest immutable database, built on a zero trust model

A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)

🎄 Merkle tree in Rust

No description or website provided.

JavaScript client for Exonum blockchain

Jupyter notebooks for tutorial on the Z3 SMT solver

RON2.1 C++ implementation

A fixed Merkle Tree implementation in Go

Immutable, scalable, and easy to use ledger service.

Haskell bindings to Microsoft's Z3 API (unofficial).

Merkle root algorithms in various languages

Verification framework and tool for higher-order Scala programs

Symbolic execution tool

A transparent, highly scalable and cryptographically verifiable data store.

CLP(SMT) on top of miniKanren

A Merkle Tree implementation written in Go.

CTjs is a full set of classes necessary to work with any kind of Certificate Transparency log (V1 as from RFC6962, or V2 as from RFC6962-bis). In CTjs you could find all necessary validation/verification functions for all related data shipped with full-featured examples showning how to validate/verify. Also in scope of CTjs I made code showing e…

A simplified blockchain implementation in Java

A Data Integrity framework for building efficient blockchains, transparency logs, secure file systems and more.

Authenticated Data Structures Generically

BTCert authenticates academic certificates by means of a digital credential that allows immediate verification by third parties. BTCerts uses blockchain and cryptographic techniques to create a certification infrastructure based on the standard Blockcerts

A CONIKS implementation in Golang

PoC implementation of follow-the-satoshi in a Merkle tree.

JS - Solidity sha3 merkle tree bridge. Generate proofs in JS; verify in Solidity.

General balanced binary Merkle trees for Erlang

A merkle tree is a data structure used for efficiently summarizing sets of data, often one-time signatures.

Build trust into your image by creating a blockchain certificate for it

A CONIKS implementation in Java

Kryptonite for Kafka is a client-side 🔒 field level 🔓 crypto library for Apache Kafka® currently focused on Kafka Connect scenarios. It's an ! UNOFFICIAL ! community project

A simple Java implementation of Merkle Trees, with Ant build file and JUnit test classes

Targoman SMT framework source code

A core and experimental implementation of ClaimChain

Synthesis of Heap-Manipulating Programs from Separation Logic

The privacy-focused cryptocurrency

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.

🎄🖋 A Rust implementation of Merkle signing

APALACHE: symbolic model checker for TLA+

The Yices SMT Solver

A simple (unfinished) SMT solver for QF_ABV.

Automatic verification of LLVM optimizations

Signature scheme submitted to NIST's Post-Quantum Cryptography Project

A simplified golang implementation of Ethereum's Modified Patricia Trie.

A Merkle Hash Trees implementation according to RFC 6962, written in Go.

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

Python tools for creating Merkle trees, generating Merkle proofs, and verification of Merkle proofs

Merkleized IAVL+ Tree implementation in Go forked from cosmos/iavl(https://github.com/cosmos/iavl)

prototyping logic programming in Scala