qedThe scalable, auditable and high-performance tamper-evident log project
Stars: ✭ 87 (+4.82%)
Mutual labels: merkle-tree, sparse-merkle-tree
z3 tutorialJupyter notebooks for tutorial on the Z3 SMT solver
Stars: ✭ 117 (+40.96%)
Mutual labels: smt
gravity-sphincsSignature scheme submitted to NIST's Post-Quantum Cryptography Project
Stars: ✭ 67 (-19.28%)
Mutual labels: merkle-tree
py2manyTranspiler of Python to many other languages
Stars: ✭ 420 (+406.02%)
Mutual labels: smt
vim-smt2A VIM plugin that adds support for the SMT-LIB2 format (including Z3's extensions)
Stars: ✭ 35 (-57.83%)
Mutual labels: smt
entNo description or website provided.
Stars: ✭ 33 (-60.24%)
Mutual labels: merkle-tree
kafka-connect-transform-kryptoniteKryptonite 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
Stars: ✭ 30 (-63.86%)
Mutual labels: smt
merkle sigs.rs🎄🖋 A Rust implementation of Merkle signing
Stars: ✭ 13 (-84.34%)
Mutual labels: merkle-tree
suslikSynthesis of Heap-Manipulating Programs from Separation Logic
Stars: ✭ 107 (+28.92%)
Mutual labels: smt
haskell-z3Haskell bindings to Microsoft's Z3 API (unofficial).
Stars: ✭ 48 (-42.17%)
Mutual labels: smt
clpsmt-miniKanrenCLP(SMT) on top of miniKanren
Stars: ✭ 31 (-62.65%)
Mutual labels: smt
CTjsCTjs 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…
Stars: ✭ 2 (-97.59%)
Mutual labels: merkle-tree
bargadA Data Integrity framework for building efficient blockchains, transparency logs, secure file systems and more.
Stars: ✭ 54 (-34.94%)
Mutual labels: merkle-tree
BTCertBTCert 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
Stars: ✭ 21 (-74.7%)
Mutual labels: merkle-tree
fts-treePoC implementation of follow-the-satoshi in a Merkle tree.
Stars: ✭ 17 (-79.52%)
Mutual labels: merkle-tree
prune-horstSignature scheme submitted to NIST's Post-Quantum Cryptography Project
Stars: ✭ 23 (-72.29%)
Mutual labels: merkle-tree
gb merkle treesGeneral balanced binary Merkle trees for Erlang
Stars: ✭ 25 (-69.88%)
Mutual labels: merkle-tree
merkletreeA Merkle Hash Trees implementation according to RFC 6962, written in Go.
Stars: ✭ 32 (-61.45%)
Mutual labels: merkle-tree
archsatA proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
Stars: ✭ 20 (-75.9%)
Mutual labels: smt