#

verifiability

Here are 5 public repositories matching this topic...

gov4git / gov4git

Decentralized governance for Git communities

open-source community security attribution dao trust transparency daos governance trusted-computing byzantine-consensus verifiability

Updated May 19, 2024
Go

trustops / awesome-trustops

A list of tools and methods for building trustworthy software following TrustOps principles.

security devops privacy trust proofs tee zero-knowledge trustworthiness trusted-execution-environment secure-computing confidential-computing verifiability trustops

Updated Oct 18, 2024

RamonMeffert / ltp-verifiability

Course project on prompt engineering for automated verifiability checking of online user comments.

nlp language-models prompt-engineering verifiability

Updated Jun 16, 2022
Python

sbaloglu / tamarin-codes

Tamarin codes for checking verifiability properties of Helios, Belenios and the Estonian e-voting protocol.

security formal-verification e-voting tamarin-prover automated-proof verifiability

Updated Jun 18, 2023

GSLiTW / The_Verifiable_IO_Approach

An implementation of the novel way to verify voters' elilgibility in e-voting elections.

elections e-voting verifiability eligibillity

Updated Jan 27, 2024
Solidity

Improve this page

Add a description, image, and links to the verifiability topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the verifiability topic, visit your repo's landing page and select "manage topics."