Bitcoin Forum
June 22, 2024, 10:00:43 PM *
News: Voting for pizza day contest
 
  Home Help Search Login Register More  
  Show Posts
Pages: [1]
1  Local / Альтернативные криптовалюты / Re: [ANN] [PUTIC] Putin Classic [X11] POW on: September 28, 2017, 07:21:34 AM
Есть faucet?
2  Local / Альтернативные криптовалюты / Re: NovaCoin (гибридная PoW/PoS на scrypt + Layer2) [жёсткая модерация] on: July 26, 2017, 12:10:52 PM
Бальтазар, спаси от инфаркта, скажи, это не тебя в Греции арестовали?
3  Alternate cryptocurrencies / Announcements (Altcoins) / Re: [PRE-ANN] Qeditas: A Formal Library as a Bitcoin Spin-Off on: June 15, 2016, 08:10:27 PM
It seams that main Windows build problem was because of the big number of the C++ compilers installed on my PC.) All is simple and working without big problems on clear Windows installation:
 1. Install MinGW with MSYS (http://mingw.org/,  use 64bit toolchain)
 2. Install OCPWin (https://www.typerex.org/ocpwin.html,  use compiled with mingw package)
 3. Add OCPWin bin directory to system PATH environment variable.
 4. Open MSYS and navigate to qeditas sources
 5. Fix the problem in sources,  mentioned in previous post,  for example change "/dev/urandom" to "urandom" and place non-empty file with name urandom near the qeditas.exe in the future.
 6. Use usual configure & make to build qeditas.exe (set install and data directory in configure args)

That's all.

Now I'm trying to build Trent Russel's branch with leveldb.

What about dev/urandom: I hope to find universal way to get random numbers in OCaml,  if there is no such way (it would be surprising) we can add C-based module to generate such numbers that will work on any platform.
4  Alternate cryptocurrencies / Announcements (Altcoins) / Re: [PRE-ANN] Qeditas: A Formal Library as a Bitcoin Spin-Off on: June 14, 2016, 09:55:34 PM
At the end of the day I've managed to build and start it under the Windows,  and it works correctly.)

The only problem is src/qeditas.ml,  line 331:
Code:
    let dur = open_in_bin "/dev/urandom" in (*** this is to compute a nonce for the node to prevent self conns; it doesn't need to be cryptographically secure ***)

I've used a real file with real path instead of the "/dev/urandom" as a simplest workaround, I need more OCaml knowledge to fix it correctly, I can't do it right now.

I'll share Windows build instructions later, after I test it on clear Windows installation and choose the simplest way to build the project.
5  Alternate cryptocurrencies / Announcements (Altcoins) / Re: [PRE-ANN] Qeditas: A Formal Library as a Bitcoin Spin-Off on: June 09, 2016, 09:55:51 AM
I'm failed to make it working under the Windows,  but may be it is because of my poor OCaml envirinment knowledge,  I'll try it one more time today or tmorrow. I've tested it under the Linux (Ubuntu) and all is correct as far as I can see.) I haven't tried to use it with C code yet, will try to do it this weekend.
6  Alternate cryptocurrencies / Announcements (Altcoins) / Re: [PRE-ANN] Qeditas: A Formal Library as a Bitcoin Spin-Off on: June 07, 2016, 07:14:58 PM
Congratulations on your first release!)

I am at Windows PC right now, so I'll try to install it under Windows today.

Trent Russell, thank you for sharing your work with leveldb integration,  I'll try to fix library issue if it is possible and will share result if I will find something useful.



7  Alternate cryptocurrencies / Announcements (Altcoins) / Re: [PRE-ANN] Qeditas: A Formal Library as a Bitcoin Spin-Off on: June 06, 2016, 09:52:46 AM
Hello.

I can prepare a newer snapshot if you are interested in it. I don't think it is a real difference,  but can do it if you need it to save your time.) Tell me please if it should be done and I start to work.
8  Alternate cryptocurrencies / Announcements (Altcoins) / Re: [PRE-ANN] Qeditas: A Formal Library as a Bitcoin Spin-Off on: May 16, 2016, 07:25:18 PM
Really glad to hear you are still interesting in this project.) I think qeditas idea is really great and important.

I would be glad to help in development, but I havent't enough skills right now (I'm a C++ developer without deep math education), but I'm learning and I hope I can be useful in a several monthes or about. Tell me please if you know some tasks where I can participate right now,  I'll be glad to do smth. useful.)
9  Alternate cryptocurrencies / Announcements (Altcoins) / Re: [PRE-ANN] Qeditas: A Formal Library as a Bitcoin Spin-Off on: May 10, 2016, 08:32:14 PM
Hi. Have you stopped to work on this project?
Pages: [1]
Powered by MySQL Powered by PHP Powered by SMF 1.1.19 | SMF © 2006-2009, Simple Machines Valid XHTML 1.0! Valid CSS!