VictorTaelin / lsign

Related projects ⓘ

Alternatives and complementary repositories for lsign

• Soonad / Formality-C
  An implementation of the Formality language in C
  ☆13Updated 5 years ago
• VictorTaelin / Moonad-web-legacy
  A Peer-to-Peer Operating System
  ☆35Updated 5 years ago
• bitml-lang / bitml-compiler
  Compiler for BitML
  ☆26Updated 2 years ago
• juliannagele / ebso
  EVM Bytecode Super Optimizer
  ☆35Updated 3 years ago
• AlacrisIO / alacrity
  DSL for Secure DApps
  ☆33Updated last year
• VictorTaelin / Elementary-Affine-Core-legacy
  A simple, untyped, terminating functional language that is fully compatible with optimal reductions.
  ☆17Updated 5 years ago
• TrueLevelSA / core-cbc-casper
  MIRROR of https://gitlab.com/TrueLevel/casper/core-cbc
  ☆10Updated 4 years ago
• VictorTaelin / Elementary-Affine-Type-Theory-legacy
  Minimal, efficient proof language
  ☆14Updated 5 years ago
• LayerXcom / lx-sonic
  Sonic implementation in Rust
  ☆17Updated 5 years ago
• sdiehl / sonic
  Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings
  ☆45Updated 4 years ago
• cwgoes / snarky-workshop
  Hackathon project for Snarky workshop.
  ☆11Updated 5 years ago
• jonspock / cryptopdfs
  Various papers on crypto pertinent to zero knowledge proofs, etc
  ☆23Updated 4 years ago
• zenprotocol / contracts
  Contract examples
  ☆10Updated 2 years ago
• Soonad / Moonad
  An upcoming operating system built on Type-Theory
  ☆43Updated 4 years ago
• sdiehl / pairing
  Optimised bilinear pairings over elliptic curves
  ☆55Updated 9 months ago
• dakk / secp256k1-ml
  Elliptic curve library secp256k1 wrapper for Ocaml
  ☆24Updated 10 months ago
• VictorTaelin / formality-agda-lib-legacy
  Agda libraries relevant to Moonad
  ☆14Updated 5 years ago
• Soonad / Formality-Core
  Specification of the Formality proof and programming language
  ☆40Updated last year
• Soonad / Formality-Net-Animator
  Animations for Elementary-Affine-Net interactions
  ☆11Updated 5 years ago
• omelkonian / formal-utxo
  Formalization of the UTxO abstract model for (bitcoin-style) blockchain transactions.
  ☆14Updated this week
• mariaschett / sorg
  SuperOptimization based Rule Generation
  ☆12Updated 4 years ago
• golemfactory / ProofOfDevice
  Proof of Device
  ☆20Updated last year
• raineorshine / functional-solidity-language
  A typed, functional language that targets the EVM.
  ☆55Updated 7 years ago
• input-output-hk / plutus-metatheory
  Mechanised meta theory for Plutus Core (DEPRECATED - MOVED to plutus)
  ☆9Updated 2 years ago
• snjax / groth16batchverifier
  Batch verifier for zkSNARKs
  ☆10Updated last year
• kindelia-archive / Kindelia
  A minimal decentralized computer.
  ☆121Updated 2 years ago
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆101Updated 4 years ago