Technical


Smart Contracts This section is for general questions and discussion about smart contracts on Zen Protocol. Testnet This section is for reporting bugs, questions, or comments about the current Testnet. Please note in the title of the topic what operating system you are using (if relevant). Multi-Hash Mining This section is for questions and discussion about Multi-Hash Mining. This governance mechanism is under development by Zen Protocol in order to create a more fair market where token holders, as well as miners, have a voice in decisions. Formal Verification This section is for questions and discussions about formal verification techniques. ZF* ZF* is a formal verification language developed as an offshoot of Microsoft’s F*. ZF* was built in-house by the Zen Protocol team for creating formally verified smart contracts. You can read more about ZF* SDK here: <a href="https://github.com/zenprotocol/ZFS-SDK">https://github.com/zenprotocol/ZFS-SDK</a> Mining This section is for general discussion about mining in Zen Protocol.
Topic Replies Created
About the Technical category 1 May 24, 2018
GPU Mining Pools for ZP 1 August 5, 2018
Questions and answers 2 August 23, 2018
Deserialize header/body from blocktemplate 2 July 17, 2018
https://www.youtube.com/watch?v=FMDm-I5fxZ8
ZF*
1 July 23, 2018
GPU pool for mining Zen Protocol 1 July 9, 2018
Z9 Bitmain miner for equihash (24/5/18 telegram) 2 May 24, 2018
Asher Manning presentation on Resource Verification 1 May 23, 2018
Multi-Hash Mining 1 May 15, 2018