aupiff / keccak
Keccak hash functions
☆11Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for keccak
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆45Updated 4 years ago
- Shared Lurk source code, including tests and library code.☆18Updated 8 months ago
- Multihash Haskell implementation☆27Updated last year
- Early-stage research related to the Anoma protocols.☆23Updated last year
- Multi-party computation utilities toolkit for rust☆16Updated 4 years ago
- Ambient Calculus reduction engine☆8Updated last year
- Elliptic curve library secp256k1 wrapper for Ocaml☆24Updated 10 months ago
- ☆12Updated 2 years ago
- A functional smart contract system☆6Updated 5 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆42Updated 3 years ago
- Pure OCaml implementation of the Groth-Maller SNARK verifier (and associated crypto)☆53Updated 5 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 4 years ago
- Haskoin Node is a Bitcoin and Bitcoin Cash peer-to-peer protocol library☆13Updated 5 months ago
- Blockchain Technology for the Working Mathematician☆24Updated 7 years ago
- attempting to be the cleanest & clearest implementation of Ethereum's execution layer☆20Updated 3 years ago
- Fawkes-Crypto - zkSNARKs framework☆21Updated 9 months ago
- Zero-knowledge Proof-of-reserves using Pedersen Commitments and zkSNARKs☆18Updated 2 years ago
- Formalization of Tendermint proposer election properties☆15Updated 5 years ago
- Contract examples☆10Updated 2 years ago
- Unofficial SDK for Pinata IPFS pinning service☆26Updated 5 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated last year
- An Ethereum contract analyzer.☆18Updated 6 years ago
- Optimised bilinear pairings over elliptic curves☆55Updated 9 months ago
- ☆21Updated 6 years ago
- An ML-inspired smart contract language, compiling to Tezos' Michelson VM☆22Updated 7 years ago
- RLN wrappers and implementation in Go☆11Updated 2 years ago
- Bitcoin script compilation, manipulation and decompilation☆14Updated 4 years ago
- A code generation tool for purescript-web3☆22Updated 6 months ago
- Hackathon project for Snarky workshop.☆11Updated 5 years ago