Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
Zero-knowledge proofs (keyword)
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
All fields
Source search
Author search
Subject term search
Title search
sõna
starts with
exact match
vabatekst
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
2
Look more..
(2/187)
Export
export all inquiry results
(2)
Save TXT fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article EST
/
journal article ENG
Proving vote correctness in the IVXV internet voting system
Kraavi, Taaniel
;
Willemson, Jan
Scientific Reports
2025
/
art. 31793бб, 14 p
https://doi.org/10.1038/s41598-025-16764-1
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
2
book article
Towards a Formal Foundation for Blockchain ZK Rollups
Chaliasos, Stefanos
;
Firsov, Denis
;
Livshits, Benjamin
CCS '25: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security
2025
/
p. 2714-2728 : ill
https://doi.org/10.1145/3719027.3765115
Article at Scopus
Article at WOS
book article
Number of records 2, displaying
1 - 2
keyword
186
1.
Zero-knowledge proofs
2.
non-interactive zero knowledge
3.
zero-knowledge
4.
zero-knowledge proof
5.
a coherent theory of proofs
6.
calculational proofs
7.
game-based proofs
8.
machine-checked proofs
9.
state-separating proofs
10.
fractional power zero-pole
11.
Milliken-Taylor system near zero
12.
near zero energy building
13.
nearly zero energy buildings (nZEB)
14.
nearly zero-energy building
15.
Nearly Zero-Energy Buildings
16.
nearly-zero energy buildings
17.
nearly-zero energy-building
18.
net zero energy buildings
19.
net-zero energy
20.
net-zero transition
21.
paranormed zero-convergence
22.
paranormed zero-convergence with speed
23.
smart zero carbon city
24.
zero and sign restrictions
25.
zero current switching
26.
zero current switching (ZCS)
27.
zero direct axis current (ZDAC)
28.
zero emission buildings
29.
Zero energy
30.
zero factor
31.
zero inflated beta distribution
32.
zero injection phase
33.
zero marginal cost
34.
zero moment point
35.
zero partiality
36.
zero potential vorticity assumption
37.
zero value
38.
zero voltage sequence
39.
zero voltage switching
40.
zero voltage switching (ZVS)
41.
zero-bias
42.
zero-CO2
43.
zero-convergence with speed
44.
zero-COVID
45.
zero-current switching (ZCS)
46.
zero-current-switching
47.
zero-emission buildings
48.
zero-energy buildings
49.
zero-salinity component
50.
zero-shot learning
51.
zero-strenght-layer
52.
zero‐strength layer
53.
zero-strength layer
54.
zero‐strength layer
55.
zero-waste
56.
zero-voltage switching
57.
zero-voltage switching (ZVS)
58.
zero-voltage turn-on
59.
absolutist knowledge
60.
Actionable knowledge
61.
collaborative knowledge production
62.
computerised knowledge work
63.
customer knowledge sharing
64.
cybersecurity knowledge requirements
65.
data mining and knowledge discovery
66.
differentiated knowledge base
67.
diffusion of knowledge
68.
diffusion of knowledge
69.
expert knowledge
70.
global knowledge warfare
71.
hiding knowledge
72.
inclusiv knowledge management
73.
Indigenous knowledge systems
74.
integrated and networked knowledge generating systems
75.
international knowledge transfer
76.
knowledge
77.
knowledge absorptive capacity
78.
knowledge abstraction
79.
Knowledge acquisition
80.
knowledge and innovation
81.
knowledge and skills
82.
knowledge base
83.
knowledge based economy
84.
knowledge based manufacturing
85.
knowledge based systems
86.
knowledge bases
87.
knowledge brokering
88.
knowledge challenges
89.
knowledge contribution
90.
knowledge creation
91.
knowledge diffusion
92.
knowledge discovery
93.
knowledge discovery and data mining
94.
knowledge discovery in databases
95.
knowledge distillation
96.
knowledge driven manufacturing
97.
knowledge economy
98.
knowledge employees
99.
knowledge engineering
100.
knowledge exchange
101.
knowledge exploitation
102.
knowledge extraction
103.
knowledge flows
104.
knowledge fusion
105.
knowledge gathering
106.
knowledge generation
107.
knowledge graph
108.
knowledge graph embeddings
109.
knowledge hiding
110.
knowledge hiding behavior
111.
knowledge integration
112.
knowledge intensive enterprises
113.
knowledge leakage
114.
knowledge loss
115.
knowledge management
116.
knowledge management (KM)
117.
knowledge management in production
118.
Knowledge management system
119.
knowledge management systems (KMS)
120.
knowledge map
121.
knowledge network
122.
knowledge networks
123.
knowledge of brand origins
124.
knowledge overload
125.
knowledge perception
126.
knowledge processing
127.
knowledge recovery
128.
knowledge representation
129.
knowledge retention
130.
knowledge retention and higher education
131.
Knowledge retrieval
132.
knowledge risk
133.
knowledge risk management
134.
knowledge risk management (KRM)
135.
knowledge risk management in banking
136.
knowledge risk management in construction
137.
knowledge risk management in SMEs
138.
knowledge risks
139.
knowledge risks in health-care organizations
140.
knowledge services
141.
knowledge sharing
142.
knowledge sourcing
143.
knowledge systems
144.
knowledge transfer
145.
knowledge transfer office
146.
knowledge translation
147.
knowledge warfare
148.
knowledge withholding
149.
knowledge workers
150.
knowledge-based design
151.
knowledge-based economy
152.
knowledge-based manufacturing
153.
knowledge-based system
154.
knowledge-based systems
155.
knowledge-basedfirms
156.
knowledge-inquiry
157.
knowledge-intensive business service (KIBS)
158.
knowledge-intensive business services
159.
knowledge-intensive service activities (KISA)
160.
knowledge-intensivefirms
161.
knowledge-management
162.
Local ecological knowledge
163.
logistics knowledge areas
164.
management knowledge
165.
nursing knowledge
166.
operational knowledge risk
167.
organisational knowledge
168.
organizations knowledge
169.
personal health knowledge graph
170.
personal knowledge management
171.
policy-relevant knowledge
172.
pro-environmental knowledge
173.
responsible knowledge
174.
responsible knowledge management
175.
risks knowledge risks
176.
safety knowledge
177.
scientific knowledge
178.
shared knowledge authentication
179.
symbolic knowledge
180.
symbolic knowledge in Husserlian pure logic
181.
task knowledge patterns
182.
teachers’ knowledge base
183.
Traditional ecological knowledge
184.
traditional knowledge
185.
transfer of knowledge
186.
withholding knowledge
author
1
1.
Zero, R.
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT