Smart-Contract-Modelling-uOttawa / Symboleo-IDELinks
An IDE for Symboleo, a formal contract specification language.
☆18Updated 9 months ago
Alternatives and similar repositories for Symboleo-IDE
Users that are interested in Symboleo-IDE are comparing it to the libraries listed below
Sorting:
- Platform for deploying web-based privacy-preserving data surveys using secure multi-party computation (MPC).☆56Updated last year
- Zero-Knowledge Swiss Knife☆95Updated 2 years ago
- The project containing the Rune DSL grammar and default code generators☆33Updated this week
- An interactive tutorial to get started with the Node.js bindings for DAML☆14Updated 6 months ago
- Zilch: A Framework for Developing Zero-Knowledge Proofs for Any Application☆66Updated 3 years ago
- PADL - Private, Auditable and Distributed ledger, is a tool based on zero-knowledge proofs for exploring and building private and auditab…☆13Updated last month
- The official repository hosting the ZKProof Community Reference & Proposals documents.☆107Updated 2 years ago
- This Guidance shows how to deploy a secure, scalable, and cost-efficient blockchain key management solution for blockchain validation wor…☆19Updated last month
- Chainspace is a distributed ledger platform for high-integrity and transparent processing of transactions within a decentralized system.☆57Updated 6 years ago
- ☆44Updated 3 years ago
- Accord Project Cicero contracts on Hyperledger Fabric v2☆14Updated 2 years ago
- ☆119Updated last year
- A java library for tamper-evidence using Kafka. Messages are optionally encrypted and hashed sequentially.☆28Updated last year
- This repository contains the actus dictionary and generation scripts☆20Updated last year
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆13Updated 2 years ago
- Typescript abstractions over Rust crypto library's WASM wrapper☆31Updated 3 months ago
- ☆18Updated 8 months ago
- Super Amazing Universal Composability, Yeah!☆34Updated 3 years ago
- Examples of Mastermind implemented in different ZK languages and frameworks.☆13Updated 3 months ago
- ☆48Updated 2 years ago
- Using ZK-SNARK to Implement Decentralized Anonymous Voting on p2p Network☆16Updated 5 years ago
- Kinexys Self Sovereign Identity SDK☆34Updated 7 months ago
- Crypto application code for the zkSNARKs toolbox ZoKrates☆53Updated last year
- Global Workflow Composition that is Scalable, Secure, and GDPR-compliant☆82Updated this week
- Crescent adds privacy to existing credentials with zero-knowledge☆32Updated this week
- A parallel runtime for layer 1 blockchains☆14Updated 5 years ago
- The Private Data Objects lab provides technology for confidentiality-preserving, off-chain smart contracts.☆120Updated last month
- A support library for working with zero knowledge cryptography in Lean 4.☆38Updated 2 weeks ago
- Public version of the Token Taxonomy Framework. This is a versioned mirror of the IWA TTF working group repo, no issues can be posted and…☆77Updated this week
- VS Code extension that facilitates manipulation of artifacts in the Token Taxonomy Framework☆16Updated 2 years ago