|
|
C# |
5 |
The Application Identity service determines and verifies the identity of an app. |
Dec 13, 2022 |
|
|
C# |
11 |
Fernet generates and verifies HMAC-based authentication tokens |
Apr 02, 2022 |
|
|
PHP |
7 |
PHP library that generates and verifies one-time passwords. |
Mar 27, 2023 |
|
|
JavaScript |
3 |
Generates tx proofs and performs validation off-chain |
Jul 09, 2018 |
|
|
Python |
2 |
Generates a realistic random identity |
Jan 13, 2023 |
|
|
JavaScript |
2 |
Just an intelligent bot that generates and verifies discord nitro codes gift. |
Sep 01, 2021 |
|
|
JavaScript |
2 |
Web interface for Oracles of Ages/Seasons randomizer (oracles-randomizer) |
Jan 01, 2024 |
|
|
JavaScript |
3 |
An discord bot which generates fake discord nitro messages proofs ;-; |
Jun 14, 2022 |
|
|
Rust |
2 |
Oracles for Helium subDAOs |
Sep 09, 2022 |
|
|
C# |
23 |
Searches for employees of a company on linkedin, generates a list of possible emails and … |
Apr 30, 2023 |
|
|
Go |
2 |
Complementary library for reverse hash service to fetch iden3 identity state roots and generate Sparse … |
Jan 24, 2024 |
|
|
Lean |
18 |
Formalism and proofs for esverify |
Mar 29, 2022 |
|
|
JavaScript |
3 |
An iexec dapp for oracles |
Nov 17, 2022 |
|
|
Go |
2 |
Monitoring tool for DIA Oracles. |
Jan 07, 2024 |
|
|
Jupyter Notebook |
11 |
Electronic Rituals, Oracles and Fortune Telling |
Apr 12, 2022 |
|
|
HTML |
47 |
Research and implementation for non-interactive blockchain proofs of proofs of work |
Sep 13, 2022 |
|
|
Go |
12 |
A simple package to implement generating and verifying JWT tokens. It generates and verifies both … |
Apr 12, 2023 |
|
|
JavaScript |
6 |
A library for oracles on Ethereum |
Apr 26, 2022 |
|
|
Solidity |
7 |
Oracles for valorem options pricing models |
Sep 05, 2022 |
|
|
TypeScript |
2 |
Tools for creating Merkle trees, generating merkle proofs, and verification of merkle proofs. |
Nov 28, 2018 |
|
|
Python |
7 |
SCP proofs and models |
Jun 07, 2022 |
|
|
Isabelle |
407 |
seL4 specification and proofs |
Jul 26, 2022 |
|
|
Isabelle |
2 |
Teaclave specification and proofs. |
Jan 29, 2022 |
|
|
Rust |
20 |
Securily generates temporary AWS credentials through identity providers using SAML |
Apr 29, 2022 |
|
|
TypeScript |
4 |
Scans and verifies file name conventions. |
Apr 14, 2023 |
|
|
JavaScript |
5 |
Slides for the Oracles presentation at ETHBerlin |
May 07, 2021 |
|
|
Jupyter Notebook |
2 |
Simple analytics for FraxETH <> ETH Pool oracles |
Oct 27, 2022 |
|
|
CSS |
9 |
Platform for creating oracles on Bitcoin Cash |
Dec 26, 2021 |
|
|
None |
2 |
Richfaces proofs, trials, and ideas |
Nov 30, 2013 |
|
|
Haskell |
3 |
Logic proofs for pandoc. |
Sep 01, 2022 |
|
|
Python |
11 |
Oracles vote for staking rewards and calculate Merkle roots for token distributions. |
Jan 27, 2023 |
|
|
Go |
8 |
Handy tooling for generating and verifying Merkle proofs |
Apr 08, 2022 |
|
|
None |
2 |
PVS proofs for PEG grammars and Packrat parsers. |
Apr 23, 2022 |
|
|
JavaScript |
2 |
Smart contracts architecture with decentralized oracles, ECDSA and soulbounds. |
Apr 11, 2023 |
|
|
Python |
3 |
Python Binding for Oracles<-Sun<-LSC SamFS API |
Jun 22, 2020 |
|
|
Move |
54 |
Oracles written in Move for the Sui Ecosystem |
Apr 07, 2023 |
|
|
C |
15 |
Verifies Triforce Images and patches in fitting Headers |
Feb 07, 2023 |
|
|
AMPL |
20 |
Collection of Kind2 programs and proofs |
Sep 09, 2022 |
|
|
C++ |
38 |
Efficient and Interactive Zero-Knowledge Proofs |
Aug 13, 2022 |
|
|
Python |
3 |
Vesting data converter and proofs generator. |
Mar 05, 2023 |
|
|
Python |
19 |
Cross-chain proofs and atomic transactions |
Jan 16, 2023 |
|
|
Python |
2 |
Derivations and proofs of math things |
Oct 22, 2023 |
|
|
JavaScript |
8 |
Another attempt for visualizing proofs |
Jul 31, 2022 |
|
|
Rust |
424 |
Proofs for Filecoin in Rust |
Aug 11, 2022 |
|
|
Haskell |
2 |
Haskell library for writing proofs |
Dec 05, 2019 |
|
|
Go |
108 |
Primitives for identity and authorization |
Feb 09, 2021 |
|
|
TypeScript |
3 |
Computes TWAPs for Uniswap V2 pairs and posts to Fuse price oracles. |
May 17, 2022 |
|
|
JavaScript |
6 |
Computes TWAPs for Uniswap V2 pairs and posts to Fuse price oracles. |
Jul 28, 2022 |
|
|
Python |
58 |
AutoTriageBot automatically verifies, deduplicates, and suggests payouts for incoming HackerOne reports. |
May 24, 2022 |
|
|
TypeScript |
15 |
Client library for generating and using RLN ZK proofs |
Apr 19, 2023 |