Incremental blake2

This pull request adds support for incremental hash for blake2.
Blake2 has the following differences with the other MD-based hashes:
1. we need to pass how much data has been hashed up to now when hashing a block
2. blake2 uses a different hash function for the very last block, which disallows eagerly calling update/update_multi when receiving data
For those reasons, we had to make the following changes to the specification functions and the code interfaces.
Specification
In order to solve the first point, we added an extra_state to words_state which is now a pair. This extra_state is uint64 for blake2s, uint128 for blake2b and unit for the others, and is updated when calling update. uint was chosen instead of nat to avoid cumbersome additional refinements and preconditions on update to prove that it never overflows (though it should be possible to work with nat).
The second point was solved in the spec by modifying the computation of the last block for hash_incremental and streaming hash. The number of complete blocks to process and the size of the remaining data were initially computed as follows:
let num_blocks = total_length / block_length
let rem = total_length % block_length

We now do this (see split_at_last_lazy_nb_rem - all the spec split functions more or less directly refer to it in order to factorize the code and the proofs):
let num_blocks = total_length / block_length
let rem = total_length % block_length
let num_blocks, rem =
	if rem = 0 && num_blocks > 0
	then num_blocks - 1, block_length
	else num_blocks, rem

Implementation
Because of the first point, we had to update the signatures of the hash implementations.
The Hacl.Hash.Definitions.update_st, Hacl.Hash.Definitions.update_multi_st and Hacl.Hash.Definitions.update_last_st now take an extra_state parameter.
For the streaming functor, we have the following signature changes:
* the update_multi and update_last functions of the Hacl.Streaming.Interface.block functor now take an additional prevlen parameter
* the totlenparameter from update_last was replaced with last_len: this might cause confusion in the client code (see EverCrypt below)
Of course, those changes resulted in similar updates in the EverCrypt hash function signatures (see EverCrypt.Hash.update, EverCrypt.Hash.update_multi and EverCrypt.Hash.update_last).
Besides, regarding the implementation details, the internal buffer is now lazily flushed (to take into account the point 2 above): if the buffer is full at some point, we wait for the next call to update with non empty data to flush it (this gives the invariant that as long as some data has been seen, the internal buffer is not empty, which means that the call to update_last will process data).
Finally, we updated the HMAC and HKDF implementations to add implementations using the different variants of blake2 (blake2s, blake2b, default and vectorized implementations).

@R1kM the end of the work you started on hash incremental, finally ready for the PR. :) I would be happy if you could make a review.

@protz for review

@msprotz I addressed the issues you pointed out in my last commits, put aside the arithmetic lemmas: I'm waiting for https://github.com/FStarLang/FStar/pull/2110 to be accepted before updating the files so that they reference the lemmas I added to FStar.Math.Lemmas

You mean: replace gupdate by update2 ? Indeed, some things are broken, I'm working on it...

You mean: replace gupdate by update2 ? Indeed, some things are broken, I'm working on it...

yes, gupdate looks like it's a ghost function

@msprotz I introduced a versioning scheme, and when using attributes of the form [@ deprecated "gupdate_multi" ] there indeed are warning messages generated at compilation

Yes, that's a good idea. We can discuss it on Slack


Restore-DbaDatabase Fails with Azure Credentials

Bug Report

General Troubleshooting steps

[x] Verified running the latest release of dbatools?

Version Information

Operating System (Windows 10):
PowerShell Version: 5.1.16299.248
SQL Server (17.4|14.0.1000):

Problem to solve
I can't get the Restore-DbaDatabase to "see" the file even though I have verified it is present and executed a successful restore from the sql server instance via tsql directly.  I was hoping to run a full restore of our sql server user databases (for testing purposes) using the cmdlet.  Any help would be appreciated.
Steps to Reproduce
PS C:\Program Files (x86)\Microsoft SDKs\Azure\AzCopy> Restore-DbaDatabase -SqlInstance sql1 -Path https://sysbakbbgblob
.blob.core.windows.net/sys-sql-bak/GuardianCP_backup_2018_03_04_000001_9028539.bak -verbose -AzureCredential sysbakbbgbl
ob
VERBOSE: [Restore-DbaDatabase][08:12:36] Changing statement timeout to infinity
VERBOSE: [Get-DbaDefaultPath][08:12:36] Attempting to connect to LAPTOP-0O79E2V0
VERBOSE: [Restore-DbaDatabase][08:12:36] ParameterSet  = Restore
VERBOSE: [Restore-DbaDatabase][08:12:36] Unverified input, full scans -
https://sysbakbbgblob.blob.core.windows.net/sys-sql-bak/GuardianCP_backup_2018_03_04_000001_9028539.bak
VERBOSE: [Get-DbaBackupInformation][08:12:36] Testing a single file @{Length=103;
FullName=https://sysbakbbgblob.blob.core.windows.net/sys-sql-bak/GuardianCP_backup_2018_03_04_000001_9028539.bak}
VERBOSE: [Test-DbaSqlPath][08:12:36] Connecting to LAPTOP-0O79E2V0.
VERBOSE: [Get-DbaBackupInformation][08:12:36] [sql1] cannot 'see' file
https://sysbakbbgblob.blob.core.windows.net/sys-sql-bak/GuardianCP_backup_2018_03_04_000001_9028539.bak
WARNING: [Restore-DbaDatabase][08:12:36] No backups passed through.
 This could mean the SQL instance cannot see the referenced files, the file's headers could not be read or some other
issue

Can you issue the command with the parameter `OutputScriptOnly' and see if that runs via T-SQL execution for the given server?

Hi wsmelton,
Ran it with OutputScriptOnly (see below) and still no luck.
PS C:\Users\Luke Cloudsdale> Restore-DbaDatabase -SqlInstance sql1 -Path https://sysbakbbgblob.blob.core.windows.net/sys-sql-bak/GuardianCP_backup_2018_03_04_000001_9028539.bak -verbose -AzureCredential sysbakbbgblob -OutputScriptOnly VERBOSE: [Restore-DbaDatabase][09:13:45] Changing statement timeout to infinity VERBOSE: [Get-DbaDefaultPath][09:13:45] Attempting to connect to LAPTOP-0O79E2V0 VERBOSE: [Restore-DbaDatabase][09:13:45] ParameterSet  = Restore VERBOSE: [Restore-DbaDatabase][09:13:45] Unverified input, full scans - https://sysbakbbgblob.blob.core.windows.net/sys-sql-bak/GuardianCP_backup_2018_03_04_000001_9028539.bak VERBOSE: [Get-DbaBackupInformation][09:13:45] Testing a single file @{Length=103; FullName=https://sysbakbbgblob.blob.core.windows.net/sys-sql-bak/GuardianCP_backup_2018_03_04_000001_9028539.bak} VERBOSE: [Test-DbaSqlPath][09:13:45] Connecting to LAPTOP-0O79E2V0. VERBOSE: [Get-DbaBackupInformation][09:13:45] [sql1] cannot 'see' file https://sysbakbbgblob.blob.core.windows.net/sys-sql-bak/GuardianCP_backup_2018_03_04_000001_9028539.bak WARNING: [Restore-DbaDatabase][09:13:45] No backups passed through.  This could mean the SQL instance cannot see the referenced files, the file's headers could not be read or some other issue

I'm affected by the same exact issue.

I may be mistaken, but the error could be due to the Restore-DbaDatabase calling on line 541 the following:
Write-Message -Level Verbose -Message "Unverified input, full scans - $($files -join ';')"
$BackupHistory += Get-DbaBackupInformation -SqlInstance $RestoreInstance -SqlCredential $SqlCredential -Path $files -DirectoryRecurse:$DirectoryRecurse -MaintenanceSolution:$MaintenanceSolutionBackup -IgnoreLogBackup:$IgnoreLogBackup

This is trying to populate the BackupHistory variable, however the Get-DbaBackupInformation cmdlet doesn't seem to allow Azure Credentials to be passed, so it's returning an empty result.
This later triggering a return on line 604 when an if condition catches that the BackupHistory variable is empty.
if ($BackupHistory.Count -eq 0) {
Write-Message -Level Warning -Message "No backups passed through. `n This could mean the SQL instance cannot see the referenced files, the file's headers could not be read or some other issue"
return
}

Yeah, the fact it is not getting the history will also tie into why the output only option does not work.
The command was changed around to include a special type (backup object) some time back and I'm curious if that is when it actually broke. I can try and check that object type to see if it is supposed to handle the credential (thought it was). It may just be the need to update that sub-function call to accept a credential.

fixing this


Create the website

Create the website using Docusaurus 2.

[x] Create the template mock
[x] Create the Figma template
[x] Install and configure Docusaurus 2
[ ] Implement the template designed on Figma

I think that it is better to split the task into small pieces. So we can start to work on the documentation pieces that we need.


Please Video Encoder Add

Video encoder needs to be h264. This is why it doesn't work on many phones.Thanks for this package.Can you add a video encoder format please?

This feature will be added as soon as possible. Don't worry. Have a nice day.

Hello, any updates with this feature? We are constantly facing problems related to the MP4 format. It could be good if we understand if is this in development or better to not wait for this feature at all.

Use implementation 'com.github.HBiSoft:HBRecorder:2.0.3' or 2.0.4 . version 2.0.5 didn't work for me either. You can import the package and make the encoder h264.


Without Angular

Why not make a foundation app is independent of the framework? This allows you to use it on Emberjs, Backbone.js, Angular2  and other

@listepo 90% of the functionality in FA is very simple: add "is-active" to active an element, and use other classes to modify component behavior. You can easily rip out the styling from FA and wire it up with any other framework.
As far as routing goes, that's Angular specific; however, you could still use the front-end router (the Gulp plugin) to create an object and parse it for your favorite router as well.
However, there are some forks that work with other frameworks in the resource section if you'd like to check that out.

Like @AntJanus said, all of the components are generally framework-agnostic. Half of them also work without any JavaScript, most critically the Flexbox grid. You can install the Bower or npm package and just drop in the Sass files (or compiled CSS).
The reason we didn't write a wrapper around plain JS plugins is because then we lose some of the benefits of the framework itself. That being said, hopefully our components can be flexible enough to be dropped into any JS framework. For example, Motion UI will eventually be a standalone library, and it'll be way more configurable. Then you could use it with, say, Ember's Liquid Fire, in addition to ngAnimate.
We don't have a timeline for a v2 of a framework, but when that time rolls around we'll probably be reassessing how the framework is built, since Angular 2 is a thing.


How can I make a list of users to download automatically

I do not know how to make a list of users, I think the option is not enabled, I wonder if I can make a .bat ?.
What would you have to read to do it? I am interested in creating tools.
In other repositories focused on other pages they have an option to create a list of users, which simplifies my life, did anyone come up with a way to build a similar tool with this twitter repository?

ok i find it
Admin:
I just made a few changes to either pass multiple accounts to the CLI or pass a filename with the @ prefix (@file.txt). I updated the README accordingly.

Yes, you can either just pass them all at the end of the command line (separated by spaces), or simply pass a file with the @ prefix, one name per line. 👍


PYIC-4489: add m2b escape page

Proposed changes
What changed
add m2b escape page
Why did it change
create a new page for “find another way to prove your identity” and an additional radio button, So that the M2B journey meets finalised requirements.
Issue tracking

PYIC-4489

Checklists
Environment variables or secrets

[x] No environment variables or secrets were added or changed

N.B. this will need updating after the journey split is merged. It should be simple enough - applying the same change to new-p2-identity.yaml


Fix fuel categorizations in detailed mcoe data pull

In the mcoe_data_pull_detailed.ipynb file, values for 'energy_source' field are all forced to ‘coal’.  Notebook, and probably some underlying functions, need to be fixed so that primary fuel field (e.g. coal) can drive the cost calculations without this work-around.

This was resolved and is no longer relevant.