hacspec
zips
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
hacspec
-
Bertie – A minimal, high-assurance implementation of TLS 1.3 written in hacspec
I have no idea what the legal weight is for a toml field so this repo really would benefit from having a formal copy of the Apache-2 license file https://github.com/hacspec/hax/blob/2da100068e9ae5e69e5b35bb... similar to its MIT friend https://github.com/hacspec/hacspec/blob/4ecc847fc944fe996e19...
-
Lets goo memory safe asm
†The "Rust" code would most likely need to be written in a strict subset of the language like Hacspec
-
Rustlang Cryptography Interest Group & Formal Verification Sync-up Call 2
Bas Spitter will be speaking on Hacspec and ConCert
zips
- Zcash Improvement Proposal: Zcash Shielded Assets!
- Pirate vs ZCash
-
ZEC > XMR ?
You can read recent discussion about UDAs in there or on the Zcash community forums. Here's the zip: https://github.com/zcash/zips/pull/269
-
Bitcoin Is a ‘Boon for Surveillance’, Says Former CIA Director
For zcash currently, yes. But for the underling tech, no. You scan the blockchain in Zcash to be notified of a payment. But the sender could just as easily send you an out of band message with everything you need to know to spend the money and find the payment.
There's even a draft spec for doing it for Zcash. https://github.com/zcash/zips/pull/420/files#diff-635022fa4a...
-
April 9, 2021 - Weekly Zcash Updates
UAs were first introduced at the 3/25 Arborist call. That video hasn't been uploaded yet but I'll add it here once we put it on Youtube. A full list of detailed requirements for UAs is in ZIP 470. A full description of UAs is also available in the Zcash protocol specification (pg 110).
-
Trustless decentralized exchange DEX with support for Zcash
Address viewing keys are already live on Zcash Sapling, while individual payment disclosures are still in progress.
What are some alternatives?
creusot - Creusot helps you prove your code is correct in an automated fashion. [Moved to: https://github.com/creusot-rs/creusot]
bisq - A decentralized bitcoin exchange network
ConCert - A framework for smart contract verification in Coq
zcash - Zcash - Internet Money
rust-crypto - A (mostly) pure-Rust implementation of various cryptographic algorithms.
lopp.net - Personal web site of Jameson Lopp
proofs - My personal repository of formally verified mathematics.
lightwalletd - Lightwalletd is a backend service that provides a bandwidth-efficient interface to the Zcash blockchain
silveroak - Formal specification and verification of hardware, especially for security and privacy.
magmide - A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.
bertie - Bertie TLS 1.3 Implementation