Skip to content

Activity

Started vectorizing NTT.

Force push
xvzcfforce pushed to amd64 • 4181510…2e598a0 • 
3 hours ago

Started vectorizing NTT.

xvzcfpushed 1 commit to amd64 • a741258…4181510 • 
yesterday

Rearranging code.

xvzcfpushed 1 commit to amd64 • 901d96b…a741258 • 
yesterday

Getting ready to vectorize NTT.

xvzcfpushed 1 commit to amd64 • 808a248…901d96b • 
yesterday

Improvements.

Force push
xvzcfforce pushed to amd64 • 764c934…808a248 • 
3 days ago

Improvements.

Force push
xvzcfforce pushed to amd64 • a575708…764c934 • 
3 days ago

Improvements.

Force push
xvzcfforce pushed to amd64 • 94af26e…a575708 • 
3 days ago

Improvements.

xvzcfpushed 1 commit to amd64 • e0c654c…94af26e • 
3 days ago

More fixing issues raised by evaluator.

Force push
xvzcfforce pushed to amd64 • 4d1936d…e0c654c • 
3 days ago

More fixing issues raised by evaluator.

Force push
xvzcfforce pushed to amd64 • d41e4a5…4d1936d • 
3 days ago

More fixing issues raised by evaluator.

Force push
xvzcfforce pushed to amd64 • d47f568…d41e4a5 • 
6 days ago

More fixing overwrites.

xvzcfpushed 1 commit to amd64 • 575f890…d47f568 • 
6 days ago

Fixed overwrite in t1::encode_polynomial.

xvzcfpushed 1 commit to amd64 • 25dfa50…575f890 • 
6 days ago

started towards bdep

mbbarbosapushed 1 commit to proof • ac428ea…45a4447 • 
6 days ago

Fixed stack overwrite issue.

xvzcfpushed 1 commit to amd64 • 2dc2e7a…25dfa50 • 
7 days ago

Don't inline calls to KeccakF1600_StatePermute4x

xvzcfpushed 1 commit to amd64 • 470ede9…2dc2e7a • 
7 days ago

Add back safety-checking job.

Force push
xvzcfforce pushed to amd64 • 5126401…470ede9 • 
7 days ago

Add back safety-checking job.

xvzcfpushed 1 commit to amd64 • bfe134a…5126401 • 
7 days ago

Install pytest in CI.

Force push
xvzcfforce pushed to amd64 • 9b0bcb9…bfe134a • 
7 days ago

Install pytest in CI.

xvzcfpushed 1 commit to amd64 • 9d1940e…9b0bcb9 • 
7 days ago

Fix build errors.

xvzcfpushed 1 commit to amd64 • ad218df…9d1940e • 
7 days ago

Trying to update CI.

Force push
xvzcfforce pushed to amd64 • e148c52…ad218df • 
7 days ago

Trying to update CI.

Force push
xvzcfforce pushed to amd64 • a396968…e148c52 • 
7 days ago

Trying to update CI.

Force push
xvzcfforce pushed to amd64 • 5ef9c82…a396968 • 
7 days ago

Trying to update CI.

Force push
xvzcfforce pushed to amd64 • 6c43a5f…5ef9c82 • 
7 days ago

Trying to update CI.

Force push
xvzcfforce pushed to amd64 • 15620e8…6c43a5f • 
7 days ago

Trying to update CI.

xvzcfpushed 2 commits to amd64 • 413010f…15620e8 • 
7 days ago

material from formosa

mbbarbosacreated proof • ac428ea • 
7 days ago

move submodule

mbbarbosapushed 1 commit to armv7m-riscv32 • bbb343d…fd197cd • 
7 days ago

create crypto-specs submodule

mbbarbosapushed 1 commit to armv7m-riscv32 • 3a891e5…bbb343d • 
7 days ago