tls-n / tlsnutilsLinks
Solidity Library for parsing and verifying TLS-N proofs.
☆18Updated 7 years ago
Alternatives and similar repositories for tlsnutils
Users that are interested in tlsnutils are comparing it to the libraries listed below
Sorting:
- Secure Bitcoin price feed based on TLS-N proofs.☆15Updated 4 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- 0x Protocol v2 Audit☆26Updated 5 years ago
- The Bond API.☆27Updated 6 years ago
- ☆42Updated 9 years ago
- Visual IDE for composing Solidity smart contracts and Dapp agents. Use on https://remix.ethereum.org : Settings -> Plugin -> click on Pip…☆38Updated 3 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆54Updated last year
- A zkSNARK implementation of a merkle tree membership preimage proof.☆23Updated 6 years ago
- Rust crate for BLS Aggregate Signatures☆9Updated 6 years ago
- [OUTDATED] First PoC for a visual IDE for for composing Solidity smart contracts☆9Updated 2 years ago
- Silkwork is an experimental playground for Ethereum 1x research. If things go well, it might morph into a grown C++17 Ethereum client wit…☆11Updated 6 years ago
- An educational "toy" implementation of fully abstracted state channels☆49Updated 8 years ago
- Core set of Ethereum contracts for Pandora Boxchain functioning☆26Updated 5 years ago
- Zero Knowledge DAO - cast anonymous votes (built @ ETHParis)☆22Updated 6 years ago
- Efficient multi-asset confidential transactions☆34Updated 6 years ago
- The world's first sybil resistant, fully decentralized reputation protocol.☆26Updated 6 years ago
- An Interface and Reference Implementation of the ERC-884 DGCL Token.☆42Updated 6 years ago
- ☆26Updated 7 years ago
- Financial instruments on the Ethereum blockchain☆19Updated 9 years ago
- Multi Network Identifier - spec and reference implementation☆36Updated 4 years ago
- ethereum universal dapp☆27Updated 7 years ago
- A protocol for the decentralized monetization of *all* information (memes) and its network effects.☆37Updated 8 years ago
- formal verification of multicollateral dai in the K framework☆46Updated 3 years ago
- Collection of research papers written within Gnosis☆92Updated 3 years ago
- Off-chain poker in Ethereum☆22Updated 8 years ago
- Bamboo: a morphing smart contract language☆38Updated 6 years ago
- ☆44Updated 7 years ago
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆13Updated 6 years ago
- A state channels ICO auction contract.☆23Updated 7 years ago
- Multisig with a command-line interface☆22Updated 6 years ago