tls-n / tlsnutils
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
- Secure Bitcoin price feed based on TLS-N proofs.☆15Updated 4 years ago
- The world's first sybil resistant, fully decentralized reputation protocol.☆26Updated 5 years ago
- ☆42Updated 8 years ago
- Repository for Research on Conviction voting schemes☆51Updated last year
- Yoga Token☆17Updated 7 months ago
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆13Updated 6 years ago
- You will find an index of our research work here.☆25Updated 4 years ago
- Core set of Ethereum contracts for Pandora Boxchain functioning☆26Updated 4 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- [OUTDATED] First PoC for a visual IDE for for composing Solidity smart contracts☆9Updated 2 years ago
- Bare bones, mobile-first set up for Moloch frontend with Abridged Wallet SDK by Odyssy☆22Updated last year
- A protocol for building community moderated datasets on Ethereum☆22Updated 5 years ago
- Visual IDE for composing Solidity smart contracts and Dapp agents. Use on https://remix.ethereum.org : Settings -> Plugin -> click on Pip…☆37Updated 3 years ago
- formal verification of multicollateral dai in the K framework☆45Updated 3 years ago
- Bamboo: a morphing smart contract language☆37Updated 6 years ago
- Financial instruments on the Ethereum blockchain☆19Updated 8 years ago
- 0x Protocol v2 Audit☆25Updated 5 years ago
- Efficient multi-asset confidential transactions☆34Updated 5 years ago
- A protocol for the decentralized monetization of *all* information (memes) and its network effects.☆37Updated 7 years ago
- Code to generate snark proofs for batch auction result validation of the Gnosis d.exchange☆46Updated 6 years ago
- A zkSNARK implementation of a merkle tree membership preimage proof.☆24Updated 5 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Updated 4 years ago
- ☆13Updated 8 years ago
- 📄 Counterfactual: Generalized State Channels Paper☆57Updated 6 years ago
- Hobbits is a lightweight wire protocol for ETH 2.0 network testing purposes.☆26Updated 5 years ago
- A really resilient Ethereum log awaiter in typescript☆14Updated 6 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 5 years ago
- Render React form components and sections from an OpenLaw template.☆16Updated 2 years ago
- Multi Network Identifier - spec and reference implementation☆36Updated 3 years ago