Solidity Library for parsing and verifying TLS-N proofs.
☆17Aug 11, 2017Updated 8 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.☆14Sep 22, 2020Updated 5 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Feb 25, 2026Updated last week
- ORAM and related for Intel SGX enclaves☆53Sep 4, 2023Updated 2 years ago
- Arkworks circuits for verifiable time-lock encryption☆92Oct 14, 2022Updated 3 years ago
- Fundamental Accounting Concept Relations validation for International Financial Reporting Standards (IFRS).☆14Sep 20, 2018Updated 7 years ago
- Rust library for practical time-lock encryption using `drand` threshold network☆41Dec 24, 2022Updated 3 years ago
- The Complete React Js and Redux Course - Build Modern Web Apps, published by Packt☆10Jan 30, 2023Updated 3 years ago
- Atonomi Device SDK for validating devices on the Atonomi Network☆11Feb 19, 2021Updated 5 years ago
- lambda function for eks deployment☆10Oct 11, 2018Updated 7 years ago
- Template for the CryCollege library.☆12Jan 6, 2024Updated 2 years ago
- Rapid Blockchain Prototypes for Rust☆15Feb 27, 2026Updated last week
- Meetup CPP/Sponsorships through Github Issues to ensure visibility and open-source driven initiatives.☆12Jul 11, 2024Updated last year
- ZK Rollups pallet implementation☆42Jun 15, 2022Updated 3 years ago
- Project to automate the installation of JBoss BPM Suite without preconfiguration beyond a single admin user.☆11Nov 10, 2017Updated 8 years ago
- A Rock Garden☆15Dec 5, 2011Updated 14 years ago
- All our CS251 assignments☆12Nov 10, 2016Updated 9 years ago
- ☆12Dec 19, 2023Updated 2 years ago
- Pure-solidity implementation of the SHA1 hash function.☆41Jan 24, 2023Updated 3 years ago
- ☆43Apr 2, 2018Updated 7 years ago
- Base class for orbit-db data stores☆40Jan 18, 2023Updated 3 years ago
- ☆12Feb 24, 2026Updated last week
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- A simple contract to split ERC20 payments☆13Mar 8, 2020Updated 5 years ago
- Agent Canvas is a graph UI for orchestrating coding agents with voicetree.☆23Dec 19, 2025Updated 2 months ago
- Good Riddance to EPID Pre-Deprecation Memorial Contest☆12Dec 22, 2023Updated 2 years ago
- ☆11Jul 6, 2022Updated 3 years ago
- RDF fact prover and proof validator operating on simple conjunctive rules.☆10Feb 28, 2026Updated last week
- ☆12Oct 4, 2024Updated last year
- Utility for Snapshotting UTXOs☆11Jan 21, 2022Updated 4 years ago
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 5 years ago
- A from-scratch multi-difficulty-level tutorial on how pytorch, tensor flow, Jax, etc work☆13Feb 19, 2025Updated last year
- Experimental HKT framework and generic traits for the standard library☆22Dec 11, 2022Updated 3 years ago
- Synchronization primitives for both web and native.☆16Jan 19, 2024Updated 2 years ago
- A replacement of Phobos std.xml☆11Jun 23, 2021Updated 4 years ago
- RPC/XDR protocol compiler (from jungerl)☆14Oct 4, 2019Updated 6 years ago
- Code and demo for SFHTML5 Talk - D3 in Practice☆10Oct 1, 2015Updated 10 years ago
- A DDP Server for Meteor☆15Jan 30, 2016Updated 10 years ago
- ☆14Sep 15, 2016Updated 9 years ago
- ☆10Oct 17, 2017Updated 8 years ago