
Description


Encointer community currencies are distributed unconditionally, at regular intervals, to all active participants. But if anyone can join and nobody needs an official ID, how is misuse prevented? For example, how can users be sure that an individual participant cannot claim the currency twice under two different identities?Encointerâs unique, practical identity system is based on the fact that a person can only be in one place at one time. Hereâs how it works:1. Every participant agrees to make themselves available in person for key-signing meetups, which are held simultaneously at regular intervals in all locations.2. Each time a key-signing event occurs, random selections of participants meet at random locations in the community to prove that they are unique individuals. 3. This requirement to prove personhood on site makes Encointer more secure, ensuring that so long as the majority of a community is honest, misuse is not possible.




Encointer mobile wallet flutter implementation

Apache License 2.0

encointer-wallet-flutter

The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

GNU Lesser General Public License v3.0

coq-waterproof

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.

cairo-vm

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

Other

coqtail-math


Description


Pure instant messaging â simple, fast, secure, and synced across all your devices. One of the world's top 10 most downloaded apps with over 500 million active users.FAST: Telegram is the fastest messaging app on the market, connecting people via a unique, distributed network of data centers around the globe.SYNCED: You can access your messages from all your phones, tablets and computers at once. Telegram apps are standalone, so you donât need to keep your phone connected. Start typing on one device and finish the message from another. Never lose your data again.UNLIMITED: You can send media and files, without any limits on their type and size. Your entire chat history will require no disk space on your device, and will be securely stored in the Telegram cloud for as long as you need it. SECURE: We made it our mission to provide the best security combined with ease of use. Everything on Telegram, including chats, groups, media, etc. is encrypted using a combination of 256-bit symmetric AES encryption, 2048-bit RSA encryption, and DiffieâHellman secure key exchange. 100% FREE & OPEN: Telegram has a fully documented and free API for developers, open source apps and verifiable builds to prove the app you download is built from the exact same source code that is published. POWERFUL: You can create group chats with up to 200,000 members, share large videos, documents of any type (.DOCX, .MP3, .ZIP, etc.) up to 2 GB each, and even set up bots for specific tasks. Telegram is the perfect tool for hosting online communities and coordinating teamwork.RELIABLE: Built to deliver your messages using as little data as possible, Telegram is the most reliable messaging system ever made. It works even on the weakest mobile connections. FUN: Telegram has powerful photo and video editing tools, animated stickers and emoji, fully customizable themes to change the appearance of your app, and an open sticker/GIF platform to cater to all your expressive needs.SIMPLE: While providing an unprecedented array of features, we take great care to keep the interface clean. Telegram is so simple you already know how to use it.PRIVATE: We take your privacy seriously and will never give any third parties access to your data. You can delete any message you ever sent or received for both sides, at any time and without a trace. Telegram will never use your data to show you ads.For those interested in maximum privacy, Telegram offers Secret Chats. Secret Chat messages can be programmed to self-destruct automatically from both participating devices. This way you can send all types of disappearing content â messages, photos, videos, and even files. Secret Chats use End-to-End Encryption to ensure that a message can only be read by its intended recipient.We keep expanding the boundaries of what you can do with a messaging app. Donât wait years for older messengers to catch up with Telegram â join the revolution today.Terms of Use: https://www.apple.com/legal/internet-services/itunes/dev/stdeula/




Source code of Telegram for macos on Swift 5.0

GNU General Public License v2.0

TelegramSwift

Satoshi Proof is your personal notary leveraging the power of the Bitcoin network to prove existence of text or images at a certain time.

SatoshiProof

Terraform helper. Terrahelp is as a command line utility written in Go and is aimed at providing supplementary functionality which can sometimes prove useful when working with Terraform.

terrahelp

Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]