balzac-lang / balzac
Balzac is a domain-specific language to write Bitcoin transactions.
☆26Updated 2 months ago
Alternatives and similar repositories for balzac
Users that are interested in balzac are comparing it to the libraries listed below
Sorting:
- Compiler for BitML☆28Updated 3 years ago
- 2P-ECDSA: Two-Party ECDSA MultiSignatures☆48Updated 6 years ago
- DSL for Secure DApps☆33Updated 2 years ago
- Multi-party computation for Zcash's "Sapling" zk-SNARK public parameters☆30Updated 2 years ago
- Research and implementation for non-interactive blockchain proofs of proofs of work☆50Updated 2 years ago
- Small programming language compiling to Bitcoin Script☆17Updated 10 years ago
- KVyper: Semantics of Vyper in K☆41Updated 6 years ago
- Experiments in a improving Bitcoin using a Directed Acyclic Graph instead of a chain☆39Updated last year
- LaTeX of the MimbleWimble paper☆30Updated 3 years ago
- Semantics of Virtual Machine for IELE prototype blockchain☆133Updated last year
- Pay for the solution to a sudoku puzzle with a zero-knowledge contingent payment☆102Updated 7 years ago
- Various papers on crypto pertinent to zero knowledge proofs, etc☆24Updated 5 years ago
- a language optimized for state channels on blockchains.☆22Updated 4 years ago
- An EVM code verification framework in Coq☆44Updated 8 years ago
- Proof of concept for the A2L protocol on top of Bitcoin.☆19Updated 4 years ago
- ☆10Updated 7 years ago
- zkChannels: Anonymous Payment Channels for Bitcoin, Zcash, Tezos and more☆71Updated 2 years ago
- Multi-Signature Aggregation in a Large Byzantine Committees☆54Updated 10 months ago
- Documentation about scriptless scripts☆166Updated 4 months ago
- Pure Python implementation of Mimblewimble protocol for Grin cryptocurrency☆20Updated 7 months ago
- ERC20 in K☆49Updated 6 years ago
- A list of sidechain resources☆43Updated last year
- A framework to build Zero-knowledge non-interactive proofs, based on the Fiat-Shamir heuristic, a proof-of-work, and a constant-size comm…☆31Updated 7 years ago
- Initial implementation of RSA accumulator for history compaction in Plasma constructions☆22Updated 6 years ago
- Submission site for 2018Q2 Zcash Foundation grant proposals.☆26Updated 7 years ago
- A highly performant merkle set data structure. To be ported to C later.☆74Updated 7 years ago
- ☆70Updated 3 years ago
- Fork of secp256k1-zkp for the Grin/MimbleWimble project☆32Updated 2 years ago
- Semantics of Solidity in K☆30Updated 5 years ago
- ☆44Updated 7 years ago