Technical


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: https://github.com/zenprotocol/ZFS-SDK Mining This section is for general discussion about mining in Zen Protocol. Smart Contracts This section is for general questions and discussion about smart contracts on Zen Protocol.
Topic Replies Views Activity
1 287 May 10, 2021
0 321 May 24, 2018
0 295 May 10, 2021
1 474 August 1, 2019
0 2082 August 5, 2018
1 737 August 23, 2018
1 567 July 29, 2018
0 489 July 23, 2018
0 1442 July 9, 2018
1 510 May 24, 2018
0 346 May 23, 2018
0 536 May 15, 2018